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
01 May 2002
TL;DR: A refinement of McMillan's algorithm for verification of systems modelled with finite-state Petri nets overcomes the problem of initial parts that are larger than necessary (exponentially larger in the worst case).
Abstract: McMillan has recently proposed a new technique to avoid the state explosion problem in the verification of systems modelled with finite-state Petri nets. The technique requires to construct a finite initial part of the unfolding of the net. McMillan's algorithm for this task may yield initial parts that are larger than necessary (exponentially larger in the worst case). We present a refinement of the algorithm which overcomes this problem.
335 citations
01 Jan 2004
TL;DR: This paper intends to present a tutorial survey of state-of-the art modeling and deadlock control methods for discrete manufacturing systems and presents the updated results in the areas of deadlock prevention, detection and recovery, and avoidance.
Abstract: As more and more producers move to use flexible and agile manufacturing as a way to keep them with a competitive edge, the investigations on deadlock resolution in automated manufacturing have received significant attention for a decade. Deadlock and related blocking phenomena often lead to catastrophic results in automated manufacturing systems. Their efficient handling becomes a necessary condition for a system to gain high productivity. This paper intends to present a tutorial survey of state-of-the art modeling and deadlock control methods for discrete manufacturing systems. It presents the updated results in the areas of deadlock prevention, detection and recovery, and avoidance. It focuses on three modeling methods: digraphs, automata, and Petri nets. Moreover, for each approach, the main and relevant contributions are selected enlightening pros and cons. The paper concludes with the future research needs in this important area in order to bridge the gap between the academic research and industrial needs.
334 citations
19 Feb 2003
TL;DR: This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions with the proposed approach computes a maximally permissive PN controller, whenever such a controller exists.
Abstract: This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning (1989), determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
333 citations
Book•
31 Oct 1998
TL;DR: This paper presents a meta-anatomy of Stochastic Timed Petri Nets, a model for deterministic timed and non-deterministic stochastic petri Nets developed in the 1970s and 1980s from data collected in the aftermath of the Chernobyl disaster.
Abstract: Preface. 1. Introduction. 2. Petri Nets. 3. Deterministic Timed Petri Nets. 4. Time Petri Nets. 5. Stochastic Timed Petri Nets and Stochastic Petri Nets. 6. Generalized Stochastic Petri Nets. 7. High-Level Stochastic Petri Nets. 8.Semi-Markovian Stochastic Petri Nets. 9. Arbitrary Stochastic Petri Nets. Bibliography. Index.
331 citations
Proceedings Article•
22 Jun 1998
TL;DR: In this paper, the Elementary Object System (EOS) model is introduced and motivated by several examples and applications, which is composed of a System Net and one or more Object Nets which can be seen as token objects of the system net.
Abstract: The model of Elementary Object System is introduced and motivated by several examples and applications. Object systems support a modeling of systems by Petri nets following the paradigm of Object-Oriented Modeling. They are composed of a System Net and one or more Object Nets which can be seen as token objects of the system net. By this approach an interesting and challenging two-level system modeling technique is introduced. Similar to the object-oriented approach, complex systems are modeled close to their real appearance in a natural way to promote clear and reliable concepts. Applications in fields like workflow, flexible manufacturing or agent-oriented approaches (mobile agents and/or intelligent agents as in AI research) are feasible. This paper gives an introduction with several examples, but only few definitions and no theorems, which can be found, however, in a more elaborated paper.
327 citations