Book ChapterDOI
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets
Joaquín Ezpeleta,Jean-Michel Couvreur,Manuel Silva +2 more
- pp 126-147
TLDR
A new solution to the problem of finding generating families of siphons, traps, traps and st-components in Petri Nets by means of transformation into a system of linear equations.Abstract:
In this paper we propose a new solution to the problem of finding generating families of siphons (structural dead-locks in classical terminology), traps and st-components in Petri Nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linear equations allows to interpret the technique as follows: traps (siphons, st-components) of a net N are deduced from the support of psemiflows of a transformed net NΘ(NΣ,NΣΘ).read more
Citations
More filters
Journal ArticleDOI
A Petri net based deadlock prevention policy for flexible manufacturing systems
TL;DR: This paper illustrates a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri nets that is built from state machines sharing a set of places modeling the availability of system resources.
Journal ArticleDOI
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
Zhiwu Li,MengChu Zhou +1 more
TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.
Book
Supervisory Control of Discrete Event Systems Using Petri Nets
J.O. Moody,Panos J. Antsaklis +1 more
TL;DR: Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high level control applications.
Journal ArticleDOI
Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
TL;DR: A formal approach such as Petri nets enables one to describe such complex discrete event systems precisely and thus allows one to perform both qualitative and quantitative analysis, scheduling and discrete-event control of them.
Journal ArticleDOI
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Zhiwu Li,Naiqi Wu,MengChu Zhou +2 more
TL;DR: This study surveys the state-of-the-art deadlock-control strategies for automated manufacturing systems by reviewing the principles and techniques that are involved in preventing, avoiding, and detecting deadlocks.
References
More filters
Book ChapterDOI
Linear algebraic calculation of deadlocks and traps
TL;DR: In this paper, it is shown how deadlocks and traps of a class of transition-nets can be calculated as S-invariants of marked graphs, where S is the length of the transition-net.
Book ChapterDOI
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
José Manuel Colom,Manuel Silva +1 more
TL;DR: In this paper, the Fourier-Motzkinetic method is used for computing elementary semi-flows in P/T nets, which are non-negative left anullers of a net's flow matrix.
Journal ArticleDOI
A polynomial-time algorithm to decide liveness of bounded free choice nets
Javier Exparza,Manuel Silva +1 more
TL;DR: A polynomial time algorithm to decide liveness for bounded free choice nets is proposed, thus proving an enlarged version of a conjecture raised by Jones (1977) about linear algebraic calculation of deadlocks and traps.
Related Papers (5)
Deadlock analysis of Petri nets using siphons and mathematical programming
Feng Chu,Xiaolan Xie +1 more