Back to Search
Start Over
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets.
- Source :
-
Information Sciences . Oct2016, Vol. 363, p178-189. 12p. - Publication Year :
- 2016
-
Abstract
- Based on the systems of simple sequential processes with resources (S 3 PR) model, the existing methods involve prohibitive computation to synthesize a deadlock prevention controller for automated manufacturing systems (AMS). To reduce the computation, this work studies this problem by using a resource-oriented Petri net (ROPN) model. By revealing the relationship between the bad markings and structural properties of an ROPN, it presents a method such that a deadlock prevention controller can be obtained by simple calculation. By such a controller, for each strongly connected subnet in an ROPN, only one control place is needed such that it is structurally very simple. Furthermore, a condition is given under which a maximally permissive controller can be efficiently obtained, which was never seen before. Examples are used to show the application and performance of the proposed method. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00200255
- Volume :
- 363
- Database :
- Academic Search Index
- Journal :
- Information Sciences
- Publication Type :
- Periodical
- Accession number :
- 115978550
- Full Text :
- https://doi.org/10.1016/j.ins.2015.08.016