A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems

Journal of Intelligent Manufacturing

Volumn 26, Issue 5, 2015, Pages 945-958

  Chandrasekaran, S ^a   Somnath, N ^a   Sreenivas, R S ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Automated manufacturing systems; Petri nets; Service enterprise systems; Supervisory control

Indexed keywords

DENSE WAVELENGTH DIVISION MULTIPLEXING; MANUFACTURE; PETRI NETS;

AUTOMATED MANUFACTURING SYSTEMS; AUTOMATIC SYNTHESIS; LIVENESS; PETRI NET MODELS; SERVICE ENTERPRISE; SERVICE SYSTEMS; SUPERVISORY CONTROL;

ENGINEERING EDUCATION;

EID: 84941995314     PISSN: 09565515     EISSN: 15728145     Source Type: Journal    
DOI: 10.1007/s10845-014-0888-5     Document Type: Article

References (27)

1. Alpern, B., & Schneider, F. B. (1985). Defining liveness. Information Processing Letters, 21(4), 181–185.
2. Basile, F., Recalde, L., Chiacchio, P., & Silva, M. (2009). Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement. Discrete Event Dynamic Systems, 19(1), 1–30.
3. Castillo, L., Fdez-Olivares, J., & González, A. (2000). A three-level knowledge-based system for the generation of live and safe petri nets for manufacturing systems. Journal of Intelligent Manufacturing, 11, 559–572.
4. Chandrasekaran, S., & Sreenivas, R. (2013). On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general free choice petri nets. In Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC-13), Paris, France, April 2013, session WeC01.3.
5. Ferrarini, L., Piroddi, L., & Allegri, S. (1999). A comparative performance analysis of deadlock avoidance control algorithms for FMS. Journal of Intelligent Manufacturing, 10, 569–585.
6. Ferrarini, L., Piroddi, L., & Allegri, S. (2004). Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and petri net building blocks. Journal of Intelligent Manufacturing, 15, 351–371.
7. Ghaffari, A., Rezg, N., & Xie, X. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE transactions on robotics and Automation, 19(1), 137–142.
8. Giua, A. (1992). Petri nets as discrete event models for supervisory control. Ph.D. dissertation, ECSE Dept., Rensselaer Polytechnic Institute, Troy, NY.
9. Hu, H., & Li, Z. (2010). Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 21(4), 555–567.
10. Hu, H., Zhou, M., & Li, Z. (2011). Supervisor optimization for deadlock resolution in automated manufacturing systems with petri nets. IEEE Transactions on Automation Science and Engineering, 8(4), 794–804.
11. Hu, H., & Liu, Y. (2014). Supervisor simplification for ams based on petri nets and inequality analysis. IEEE Transactions on Automation Science and Engineering, 11(1), 66–77.
12. Iordache, M. V., & Antsaklis, P. J. (2003). Design of T-liveness enforcing supervisors in Petri nets. IEEE Transactions on Automatic Control, 48(11), 1202–1218.
13. Li, L., Hadjicostis, C., & Sreenivas, R. (2004). Fault detection and identification in petri net controllers. In Proceedings of the 43rd IEEE conference on decision and control (CDC), Bahamas, December 2004 (pp. 5248–5253).
14. Li, S.-Y., An, A.-M., Wang, Y., Wang, G., Hou, C., & Cai, Y. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24, 1157–1173.
15. Marchetti, O., & Munier-Kordon, A. (2009). A sufficient condition for the liveness of weighted event graphs. European Journal of Operations Research, 197, 532–540.
16. Moody, J., & Antsaklis, P. (1998). Supervisory control of discrete event systems using Petri nets. Dordrecht, MA: Kluwer Academic Publishers.
17. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.
18. Ramadge, P., & Wonham, W. (1987). Modular feedback logic for discrete event systems. SIAM Journal of Control and Optimization, 25(5), 1202–1218.
19. Reveliotis, S. (2005). Real-time management of resource allocation systems: A discrete-event systems approach. New York: Springer.
20. Silberschatz, A., Galvin, P. B., & Gagne, G. (2009). Operating system concepts. London: Wiley.
21. Somnath, N., & Sreenivas, R. (2013). On deciding the existence of a liveness enforcing supervisory policy in a class of partially-controlled general free-choice Petri nets. IEEE Transactions on Automation Science and Engineering, 10(4), 1157–1160.
22. Sreenivas, R. (1997). On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control, 42(7), 928–945.
23. Sreenivas, R. (2006). Some observations on supervisory policies that enforce liveness in partially controlled Free Choice Petri nets. Mathematics and Computers in Simulation, 70, 266–274.
24. Sreenivas, R. (2012). On the existence of supervisory policies that enforce liveness in partially controlled free-choice Petri nets. IEEE Transactions on Automatic Control, 57(2), 435–449.
25. Sreenivas, R. (2013). On a decidable class of partially controlled Petri nets with liveness enforcing supervisory policies. EEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), 1256–1261.
26. Valckenaers, P., & Van-Brussel, H. (2003). Deadlock avoidance in flexible flow shops with loops. Journal of Intelligent Manufacturing, 14, 137–144.
27. Valk, R., & Jantzen, M. (1985). The residue of vector sets with applications to decidability problems in Petri nets. Acta Informatica, 21, 643–674.