Abstract
This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Colom, J.M., Silva, M.: Improving the Linearly Based Characterization of P/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 113–145. Springer, Heidelberg (1991)
David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2005)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)
Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2), 173–184 (1995)
Ezpeleta, J., Recalde, L.: A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 34(1), 93–101 (2004)
Ezpeleta, J., Valk, R.: A polynomial deadlock avoidance method for a class of nonsequential resource allocation systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 36(6), 1234–1243 (2006)
Fanti, M.P., Zhou, M.: Deadlock Resolution in Computer-Integrated Systems. Marcel Dekker/CRC Press (2005)
Finkel, A., Johnen, C.: The home state problem in transition systems. In: Rapport de Recherche, vol. 471. Univ. de Paris-Sud., Centre d’Orsay (1989)
Karp, R., Miller, C.: Parallel program schemata. Journal of Computer and System Sciences 3(2), 147–195 (1969)
Li, Z., Zhou, M.: Deadlock Resolution in Automated Manufacturing Systems. Springer (2009)
Liao, H., Lafortune, S., Reveliotis, S., Wang, Y., Mahlke, S.: Synthesis of maximally-permissive liveness-enforcing control policies for Gadara Petri nets. In: 49th IEEE Conference on Decision and Control, Atlanta, USA (2010)
Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52. Springer (1982)
Murata, T.: Petri nets: properties, analysis and applications. Proceedings IEEE 77(4), 541–580 (1989)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)
Petri, C.A.: Kommunication Mit Automaten. Institut für Instrumentelle, Mathematik (Bonn, Germany) Schriften des IIM 3 (1962)
Recalde, L., Mahulea, C., Silva, M.: Improving analysis and simulation of continuous Petri nets. In: 2nd IEEE Conf. on Automation Science and Engineering, Shanghai, China (2006)
Reisig, W.: Petri Nets: an Introduction. EATCS Monographs on Theoretical Computer Science (1985)
Reutenauer, C.: Aspects Mathématiques des Réseaux de Petri. Prentice-Hall International (1990)
Silva, M., Velilla, S.: Error detection and correction on Petri net models of discrete control systems. In: IEEE Int. Symp. on Circuits and Systems, Kyoto, Japan (1985)
Silva, M., Recalde, L., Teruel, E.: On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems and Computers 8(11), 223–265 (1998)
Silva, M., Teruel, E., Colom, J.M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309–373. Springer, Heidelberg (1998)
Silva, M., Campos, J.: Performance evaluation of DEDS with conflicts and synchronizations: net-driven decomposition techniques. In: 4th Int. Workshop on Discrete Event Systems, Cagliari, Italy (1998)
Tricas, F., Ezpeleta, J.: Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets. In: IEEE Conf. on Emerging Technologies and Factory Automation, Lisbon, Portugal (2003)
Tricas, F., Ezpeleta, J.: Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 36(3), 532–539 (2006)
Wang, L., Mahulea, C., Julvez, J., Silva, M.: Decentralized control of large scale systems modeled with continuous marked graphs. In: 18th IFAC World Congress, Milano, Italy (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
Cabasino, M.P., Giua, A., Seatzu, C. (2013). Structural Analysis of Petri Nets. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4276-8_11
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4275-1
Online ISBN: 978-1-4471-4276-8
eBook Packages: EngineeringEngineering (R0)