Safety analysis of discrete event systems using a simplified Petri net controller

ISA Transactions

Volumn 53, Issue 1, 2014, Pages 44-49

  Zareiee, Meysam ^a   Dideban, Abbas ^a   Asghar Orouji, Ali ^a  

^a SEMNAN UNIVERSITY   (Iran)

Author keywords

Controller synthesis; Discrete event system; Petri net; Supervisory control

Indexed keywords

CONTROL SYSTEM SYNTHESIS; CONTROLLERS; INTEGER PROGRAMMING; PETRI NETS;

CONTROLLER SYNTHESIS; FORBIDDEN STATE; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; INTEGER LINEAR PROGRAMMING; PETRI NET CONTROLLER; PETRI NET MODELS; SAFETY ANALYSIS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

ALGORITHM; ARTICLE; COMPUTER SIMULATION; CONTROLLER SYNTHESIS; DEVICE SAFETY; DISCRETE EVENT SYSTEM; EQUIPMENT; PETRI NET; SIGNAL PROCESSING; SUPERVISORY CONTROL; THEORETICAL MODEL;

CONTROLLER SYNTHESIS; DISCRETE EVENT SYSTEM; PETRI NET; SUPERVISORY CONTROL;

ALGORITHMS; COMPUTER SIMULATION; EQUIPMENT SAFETY; MODELS, THEORETICAL; SIGNAL PROCESSING, COMPUTER-ASSISTED;

EID: 84892371288     PISSN: 00190578     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.isatra.2013.09.006     Document Type: Conference Paper

References (32)

1. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 2008 Springer USA
2. P.J. Ramadge, and W.M. Wonham Modular feedback logic for discrete event systems SIAM Journal on Control and Optimization 25 1987 1202 1218
3. P.J. Ramadge, and W.M. Wonham The control of discrete event systems, dynamics of discrete event systems Proceedings of the IEEE 77 1989 81 98
4. Giua A.; Petri nets as discrete event models for supervisory control, Ph.D. thesis, Troy, New York, 1992.
5. B.H. Krogh, and L.E. Holloway Synthesis of feedback control logic for discrete manufacturing systems Automatica 27 1991 641 651
6. J.O. Moody, and P. Antsaklis Petri net supervisor for DES with uncontrollable and unobservable transition IEEE Transactions on Automatic Control 45 2000 462 476
7. K. Renganathan, and V. Bhaskar An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets ISA Transactions 50 2011 443 453
8. H. Garg Reliability analysis of repairable systems using Petri nets and vague Lambda-Tau methodology ISA Transactions 52 2013 6 18
9. N. Visvanadham, Y. Nahari, and T.L. Johnson Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models IEEE Robotics and Automation 6 1990 713 723
10. I.B. Abdallah, and H.A. El-Maraghy Deadlock prevention and avoidance in FMS: A Petri net based approach International Journal of Advanced Manufacturing Technology 14 1998 704 715
11. Y.S. Huang, M.D. Jeng, X.L. Xie, and S.L. Chung Deadlock prevention based on Petri nets and siphons International Journal of Production Research 39 2001 283 305
12. M. Uzam An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions International Journal of Advanced Manufacturing Technology 19 2002 192 208
13. M. Uzam, and M.C. Zhou An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems International Journal of Production Research 44 2006 1987 2030
14. Z.W. Li, M.C. Zhou, and M.D. Jeng A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions IEEE Transactions on Automation Science and Engineering 5 2008 182 188
15. Guo J, Li ZW. An improved algorithm for supervisor design for FMS using the theory of regions. In: Proceedings of the IEEE international conference on mechatronics and automation; 2010.
16. D. Lefebvre, and E. Leclercq Stochastic Petri net identification for the fault detection and isolation of discrete event systems IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 41 2011 213 225
17. Giua A, DiCesare FM, Silva M. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proceedings of the IEEE international conference on IEEE transactions on systems, man, and cybernetics; 1992 pp. 974-979.
18. Zareiee M, Dideban A, Nazemzadeh P. From forbidden states to linear constraints. In: Proceedings of the international conference on modeling and simulation; 2011.
19. Y. Chen, Z.W. Li, M. Khalgui, and O. Mosbahi Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems IEEE Transactions on Automation Science and Engineering 8 2011 374 393
20. A. Ghaffari, N. Rezg, and X.L. Xie Design of live and maximally permissive Petri net controller using the theory of regions IEEE Transactions on Robotics and Automation 19 2003 137 142
21. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis Feedback control of Petri nets based on place invariants Automatica 32 1996 15 28
22. A. Dideban, and H. Alla Reduction of constraints for controller synthesis based on safe Petri nets Automatica 44 2008 1697 1706
23. Y.F. Chen, and Z.W. Li Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems Automatica 47 2011 1028 1034
24. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case IEEE Transactions on Automatic Control 56 2011 1818 1833
25. Zareiee M, Dideban A, Orouji AA, Alla H. A simple petri net controller in discrete event systems. In: Proceedings of information control problems in manufacturing, 2012, vol. 14; pp. 188-93.
26. Y.F. Chen, Z.W. Li, and M.C. Zhou Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A 42 2012 615 629
27. A. Dideban, M. Zareiee, and H. Alla Controller synthesis with highly simplified linear constraints Asian Journal of Control 15 2013 80 94
28. M. Zareiee, A. Dideban, A.A. Orouji, and H.R. Soleymanpour Simplification of a Petri Net controller in industrial systems by using an optimization algorithm International Journal of Industrial Engineering and Production Research 24 2013 59 70
29. Chen Y, Li ZW, Zhou MC. Optimal supervisory control of flexible manufacturing systems by Petri nets: a set classification approach. IEEE Transactions on Automation Science and Engineering (In press).
30. R. David, and H. Alla Discrete, continuous, and hybrid Petri nets 2005 Springer Berlin, Germany
31. R. Kumar, and L.E. Holloway Supervisory control of deterministic Petri nets with regular specification languages IEEE Transactions on Automatic Control 41 1996 245 249
32. F. Basile, P. Chiacchio, and A. Giua An optimization approach to Petri net monitor design IEEE Transactions on Automatic Control 52 2007 306 311