Petri nets properties related to the unboundness and analyzed using coverability multigraph
References
- [1] Cassandras, C. G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston, USA, 2001.
- [2] Zhou, M. C. (Ed.): Petri nets in Flexible and Agil Automation. Kluwer Academic Publishers, Boston, USA, 1995.
- [3] Desel, J., Reisig, W.: Place/Transition Petri Nets. Lecture Notes in Computer Science, Vol. 1491, Springer, Berlin, Germany, 1998.
- [4] David, R., Hassan A.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Berlin, Germany, 2010.
- [5] Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proc. IEEE, Vol. 77, No 4, pp.541-580.
- [6] Abel, D.: Petri-netze für Ingenieure. Springer, Berlin, Germany, 1990.
- [7] Hrúz, B., Zhou, M. C.: Modeling and Control of Discrete-event Dynamic Systems. Springer, London, Great Britain, 2007.
- [8] Reisig, W.: Understanding Petri Nets. Springer, Berlin, Germany, 2013.
- [9] Juhás, G.: Modeling Formalisms of the Discrete Event Systems. RT Systems Ltd., Bratislava, Slovakia, 2011.
- [10] Zhou, M. C., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. Word Scientific, Singapore, 1998.
- [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.
DOI: https://doi.org/10.2478/jamsi-2014-001 | Journal eISSN: 1339-0015 (formerly 1336-9180) | Journal ISSN: 1336-9180
Language: English
Page range: 51 - 67
Published on: Jan 27, 2015
Published by: University of Ss. Cyril and Methodius in Trnava
In partnership with: Paradigm Publishing Services
Keywords:
Related subjects:
© 2015 Branislav Hrúz, Iveta Dirgová Ľuptáková, Miroslav Beňo, published by University of Ss. Cyril and Methodius in Trnava
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.