Petri nets properties related to the unboundness and analyzed using coverability multigraph

[1] Cassandras, C. G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston, USA, 2001.Search in Google Scholar

[2] Zhou, M. C. (Ed.): Petri nets in Flexible and Agil Automation. Kluwer Academic Publishers, Boston, USA, 1995.10.1007/978-1-4615-2231-7Search in Google Scholar

[3] Desel, J., Reisig, W.: Place/Transition Petri Nets. Lecture Notes in Computer Science, Vol. 1491, Springer, Berlin, Germany, 1998.Search in Google Scholar

[4] David, R., Hassan A.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Berlin, Germany, 2010.10.1007/978-3-642-10669-9Search in Google Scholar

[5] Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proc. IEEE, Vol. 77, No 4, pp.541-580.10.1109/5.24143Search in Google Scholar

[6] Abel, D.: Petri-netze für Ingenieure. Springer, Berlin, Germany, 1990.10.1007/978-3-642-95602-7Search in Google Scholar

[7] Hrúz, B., Zhou, M. C.: Modeling and Control of Discrete-event Dynamic Systems. Springer, London, Great Britain, 2007.Search in Google Scholar

[8] Reisig, W.: Understanding Petri Nets. Springer, Berlin, Germany, 2013.10.1007/978-3-642-33278-4Search in Google Scholar

[9] Juhás, G.: Modeling Formalisms of the Discrete Event Systems. RT Systems Ltd., Bratislava, Slovakia, 2011.Search in Google Scholar

[10] Zhou, M. C., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. Word Scientific, Singapore, 1998.10.1142/3376Search in Google Scholar

[11] Wang, F. Y., Gao, Y., Zhou, M. C.: A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets. IEEE Trans. on Systems, Man, and Cybernetics - Part B: Cybernetics, Vol.34, No. 1, pp. 303- 308. 10.1109/TSMCB.2003.81151615369073Search in Google Scholar