Topic
Petri net
About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.
Papers published on a yearly basis
Papers
More filters
Book•
01 Jan 1993
TL;DR: This work presents a generalized methodology for evaluating manufacturability and a knowledge-based approach to design for manufacture using features, which aims to address organizational issues in concurrent engineering and the application of expert systems to engineering design.
Abstract: Organizational issues in concurrent engineering. Principles of concurrent engineering. Concurrent engineering's roots in the World War II era. Implementation: common failure modes and success factors. Overcoming barriers to the implementation of concurrent engineering. Improving interpersonal communications on multifunctional teams. Scheduling of concurrent manufacturing projects. Tools and techniques of concurrent engineering. Models of design processes. A decision-based approach to concurrent design. Concurrent optimization of product design and manufacture. Computer-based concurrent engineering systems. Multi-attribute design optimization and concurrent engineering. Concurrent cell design and cell control system configuration. A generalized methodology for evaluating manufacturability. Evaluating product machinability for concurrent engineering. Concurrent optimization of design and manufacturing tolerances. Design for human factors. Cost considerations in concurrent engineering. Designing to cost. Economic design in concurrent engineering. Artificial intelligence in concurrent engineering. Application of expert systems to engineering design. A knowledge-based approach to design for manufacture using features. Concurrent accumulation of knowledge: a view of concurrent engineering. Integrated knowledge systems for adaptive, concurrent design. Automating design for manufacturability through expert system approaches. Modelling the design process with petri nets. Neuro-computing and concurrent engineering.
138 citations
TL;DR: This paper investigates the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log and is as similar to the original model and uses an existing conformance checker that aligns the runs of the given process model to the traces in the log.
138 citations
Journal Article•
[...]
TL;DR: This chapter shows how to reduce the state space of an arbitrary Time Petri net to a discrete one and uses this to study the dynamic behavior of these time-dependent Petri nets under both qualitative and quantitative aspects.
Abstract: In this chapter we study Time Petri nets: After the introduction of this kind of time-dependent Petri net, we will discuss variations of the rules defining the possible state changes. We then show how to reduce the state space of an arbitrary Time Petri net to a discrete one and use this to study the dynamic behavior of these time-dependent Petri nets under both qualitative and quantitative aspects.
138 citations
01 Nov 2002
TL;DR: An overview of the emerging field of Petri nets is given, focused on the relationship between the properties of (discrete) PNs and the corresponding properties of their continuous approximation, which may lead to deterministic continuous differential systems with complex behaviors.
Abstract: Petri nets are formalisms for the modeling of discrete event dynamic systems (DEDS). The integrality of the marking and of the transitions firing counters is a clear reflection of this. To reduce the computational complexity of the analysis or synthesis of Petri nets, two relaxations have been introduced at two different levels: (1) at net level, leading to continuous net systems; (2) at state equation level, which has allowed to obtain systems of linear inequalities, or linear programming problems. These relaxations are mainly related to the fractional firing of transitions, which implies the existence of non-integer markings. We give an overview of this emerging field. It is focused on the relationship between the properties of (discrete) PNs and the corresponding properties of their continuous approximation. Through the interleaving of qualitative and quantitative techniques, surprising results can be obtained from the analysis of these continuous systems. For these approximations to be "acceptable", it is necessary that large markings (populations) exist. It can also be seen, however, that not every populated net system can be continuized. In fact, there exist systems with "large" populations for which continuation does not make sense. The possibility of expressing nonlinear behaviors may lead to deterministic continuous differential systems with complex behaviors.
138 citations
Book•
09 Jun 2006
TL;DR: This book provides a nice presentation of supervisory control of discrete event systems using a Petri net model in a comprehensive manner and would be very useful to researchers in the field ofsupervisory control.
Abstract: Preface.- Symbols.- Introduction.- An Introduction to Petri Nets.- The Supervision of Petri Nets.- Enforcing General Specifications.- Decentralized Supervision of Petri Nets.-Deadlock and Liveness Properties of Petri Nets.- Liveness Enforcement in Petri Nets: A Structural Approach. Part I.- Liveness Enforcement in Petri Nets: A Structural Approach. Part II.- DES Control of Concurrent Hybrid Systems.- Hybrid System Level Control.-References.- Index
137 citations