Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field

Annual Reviews in Control

Volumn 37, Issue 2, 2013, Pages 191-219

  Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MANAGEMENT; CONCEPTUAL VIEWS; DISCRETE EVENT DYNAMIC SYSTEMS; DYNAMIC CONTROLS; INTERNATIONAL ELECTROTECHNICAL COMMISSION; INTERNATIONAL ORGANIZATION FOR STANDARDIZATIONS; LOGICAL ANALYSIS; PARAMETRIC OPTIMIZATION;

ELECTRIC NETWORK PARAMETERS; ENGINEERING RESEARCH; ENTERPRISE RESOURCE MANAGEMENT; STANDARDS;

PETRI NETS;

EID: 84888435568     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.arcontrol.2013.09.001     Document Type: Review

References (299)

1. Agerwala, T. (1975). Towards a theory for the analysis and synthesis of systems exhibiting concurrency. Ph.D. thesis. The Johns Hopkins University.
2. T. Agerwala Putting Petri nets to work Computer 12 12 1979 85 94
3. G. Agha, F. de Cindio, and G. Rozenberg Concurrent object-oriented programming and Petri nets Advances in Petri nets, LNCS Vol. 2001 2001 Springer
4. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani The effect of execution policies on the semantics and analysis of stochastic Petri nets IEEE Transactions on Software Engineering 15 7 1989 832 846
5. M. Ajmone Marsan, G. Balbo, and G. Conte A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems ACM Transactions on Computer Systems 2 2 1984 93 122
6. M. Ajmone Marsan, G. Balbo, and G. Conte Performance models of multiprocessor systems 1986 MIT Press
7. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modelling with generalized stochastic Petri nets 1995 Wiley
8. R. Alur, C. Coucoubetis, T. Henzinger, P.H. Ho, X. Nicollin, and A. Olivero The algorithmic analysis of hybrid systems Theoretical Computer Science 138 1 1995 3 34
9. André, C., Diaz, M., Girault, C., & Sifakis, J. (1980). Survey of french research and applications based on Petri nets. In Brauer (pp. 321-345).
10. Badouel, E. & Darondeau, P. (1998). Theory of regions. In Reisig and Rozenberg (pp. 529-586).
11. E. Badouel, L. Bernardinello, and P. Darondeau The synthesis problem for elementary net systems is NP-complete Theoretical Computer Science 186 1997 107 134
12. J.L. Baer A survey of some theoretical aspects of multiprocessing ACM Computing Surveys 5 1 1973 31 80
13. Balbo, G. & Silva, M. (Eds.) (1998). Performance models for discrete event systems with synchronizations: Formalisms and analysis techniques. In Proceedings of human capital and mobility MATCH performance advanced school. Jaca, Spain < http://webdiis.unizar.es/GISED/?q=news/matchbook >.
14. F. Balduzzi, A. Giua, and G. Menga First-order hybrid Petri nets: A model for optimization and control IEEE Transactions on Robotics and Automation 16 4 2000 382 399
15. A. Barata Music description and processing: An approach based on Petri nets and XML V. Kordic, Petri net theory and applications 2008 I-TECH Education and Publishing Vienna 525 534
16. F. Basile, P. Chiacchio, and G.D. Tommasi An efficient approach for online diagnosis of discrete event systems IEEE Transactions on Automatic Control 54 4 2009 748 759
17. F. Basile, P. Chiacchio, and G.D. Tommasi On k-diagnosability of Petri nets via integer linear programming Automatica 48 9 2012 2047 2058
18. E. Battiston, F. De Cindio, and G. Mauri OBJSA nets: A class of high-level Petri nets having objects as domains G. Rozenberg, Advances in Petri nets 1988 LNCS Vol. 340 1988 Springer 20 43
19. F. Bause, and P. Kritzinger Stochastic Petri nets An introduction to the theory 1996 Vieweg Braunschweig
20. D.F. Bender, B. Combemale, X. Crégut, J.M. Farines, B. Berthomieu, and F. Vernadat Ladder metamodeling and PLC program validation through time Petri nets Model driven architecture - Foundations and applications (4th European conference on ECMDA-FA) LNCS Vol. 5095 2008 Springer Berlin 121 136
21. A. Benveniste, E. Fabre, S. Haar, and C. Jard Diagnosis of asynchronous discrete event systems, a net unfolding approach IEEE Transactions on Automatic Control 48 5 2003 714 727
22. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H. Roux Comparison of different semantics for time Petri nets D. Peled, Y.K. Tsay, Third international symposium on automated technology for verification and analysis, ATVA 2005 LNCS Vol. 3707 2005 Springer 293 307
23. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H. Roux The expressive power of time Petri nets Theoretical Computer Science 474 2013 1 20
24. G. Berthelot Checking properties of nets using transformations G. Rozenberg, Advances in Petri Nets 1985 LNCS Vol. 222 1986 Springer 19 40
25. B. Berthomieu, and M. Diaz Modeling and verification of time dependent systems using time Petri nets IEEE Transactions on Software Engineering 17 3 1991 259 273
26. B. Berthomieu, and F. Vernadat Time Petri nets analysis with tina Third international conference on the quantitative evaluation of systems (QEST 2006) 2006 IEEE Computer Society 123 124
27. E. Best, R.R. Devillers, and M. Koutny Petri net algebra 2001 Springer
28. E. Best, and C. Fernández Nonsequential processes - A Petri net view EATCS monographs on theoretical computer science Vol. 13 1988 Springer
29. J. Billington, M. Diaz, and G. Rozenberg Application of Petri nets to communication networks Advances in Petri nets, LNCS Vol. 16 1999 Springer
30. M. Blanchard Pour une représentation normalisée du cahier des charges d'un automatisme logique Automatique et Informatique Industrielle 61-62 1977 27 32 36-40
31. R.K. Boel Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems Discrete Event Dynamic Systems 12 3 2002 253 264
32. Boel, R. K., & Jiroveanu, G. (2013). The on-line diagnosis of time Petri nets. In Seatzu et al. (2013) (pp. 343-364).
33. M. Boyer, and O.H. Roux On the compared expressiveness of arc, place and transition time Petri nets Fundamenta Informaticae 88 3 2008 225 249
34. G.W. Brams Réseaux de Petri: Théorie et Pratique 1983 Masson Paris
35. W. Brauer Net theory and applications LNCS Vol. 84 1980 Springer
36. W. Brauer, W. Reisig, and G. Rozenberg Petri nets: Applications and relationships to other models of concurrency Advances in Petri Nets 1986, Part II, LNCS Vol. 255 1987 Springer
37. W. Brauer, W. Reisig, and G. Rozenberg Petri nets: Central models and their properties Advances in Petri Nets 1986, Part I, LNCS Vol. 254 1987 Springer
38. Briz, J. L., & Colom, J. M. (1994). Implementation of weighted P/T nets based on linear enabling functions. In Valette (1994) (pp. 99-118).
39. G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario Timed state space analysis of real-time preemptive systems IEEE Transactions on Software Engineering 30 2 2004 97 111
40. G. Bucci, and E. Vicario Compositional validation of time-critical system using communicating time Petri nets IEEE Transactions on Software Engineering 21 12 1995 969 992
41. M.P. Cabasino, P. Darondeau, M.P. Fanti, and C. Seatzu Model identification and synthesis of discrete-event systems M.C. Zhou, H.X. Li, M. Weijnen, Contemporary issues in systems science and engineering IEEE Press series on systems science and engineering 2013 Wiley 62 84
42. J. Campos, G. Chiola, and M. Silva Properties and performance bounds for closed free choice synchronized monoclass queueing networks IEEE Transactions on Automatic Control 36 12 1991 1368 1382
43. J. Campos, and M. Silva Structural techniques and performance bounds of stochastic Petri net models G. Rozenberg, Advances in Petri nets 1992 LNCS Vol. 609 1992 Springer 352 391
44. T. Cao, and A. Sanderson Intelligent task planning using fuzzy Petri nets Series in intelligent control and intelligent automation 1996 World Scientific
45. J. Cardoso, and H. Camargo Fuzziness in Petri nets Studies in fuzziness and soft computing Vol. 22 1999 Springer
46. J. Carlier, and P. Chrétienne Timed Petri net schedules G. Rozenberg, Advances in Petri nets 1988 LNCS Vol. 340 1988 Springer 62 84
47. J. Carlier, P. Chrétienne, and C. Girault Modelling scheduling problems with timed Petri nets G. Rozenberg, Advances in Petri nets LNCS Vol. 188 1984 Springer 62 82
48. Cassandras, C. G., Giua, A., Seatzu, C., & Zaytoon, J. (Eds.) (2008). Special issue on discrete event methodologies for hybrid systems. Discrete Event Dynamic Systems, 18(2).
49. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 1999 Kluwer Academic Publishers Boston
50. Cerf, V. G. (1972). Multiprocessors, semaphores and a graph model of computations. Ph.D. thesis. Computer Science Dept., UCLA, Los Angeles.
51. R. Champagnat, R. Valette, J.C. Hochon, and H. Pingaud Modeling, simulation and analysis of batch production systems Discrete Event Dynamic Systems: Theory and Applications 11 2001 119 136
52. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad Stochastic well-formed coloured nets for symmetric modelling applications IEEE Transactions on Computers 42 11 1993 1343 1360
53. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad A symbolic reachability graph for coloured Petri nets Theoretical Computer Science 176 1-2 1997 39 65
54. G. Chiola, and A. Ferscha Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency Application and Theory of Petri Nets LNCS Vol. 691 1993 Springer 146 165
55. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets Performance Evaluation 24 1-2 1995 47 68
56. G. Ciardo, D. Nicol, and K.S. Trivedi Discrete-event simulation of fluid stochastic Petri nets IEEE Transactions on Software Engineering 25 2 1999 207 217
57. J.M. Colom The resource allocation problem in flexible manufacturing systems W.-M.-P. van der Aalst, E. Best, Proceedings of the 24th international conference on applications and theory of Petri nets LNCS Vol. 2679 2003 Springer Eindhoven, Netherlands 23 35
58. Colom, J. M., Silva, M., & Villarroel, J. L. (1986). On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. In Proceedings of the 7th European workshop on application and theory of Petri nets (pp. 207-241). Oxford.
59. J. Cortadella, A. Yakovlev, and G. Rozenberg Concurrency and hardware design Advances in Petri nets, LNCS Vol. 2549 2002 Springer
60. P. Darondeau, and L. Ricker Distributed control of discrete-event systems: A first step Transactions on Petri Nets and Other Models of Concurrency VI 7400 2012 24 45
61. R. David, and H. Alla Petri nets and Grafcet 1992 Prentice-Hall
62. R. David, and H. Alla Petri nets for modeling of dynamic systems - A survey Automatica 30 2 1994 175 202
63. R. David, and H. Alla Discrete, continuous and hybrid Petri nets 1st ed. 2010 Springer Berlin 2004
64. De Michelis, G., & Ellis, C. A. (1996). Computer supported cooperative work and Petri nets. In Reisig and Rozenberg (1998b) (pp. 125-153).
65. I. Demongodin Generalised batches Petri net: Hybrid model for high speed systems with variable delays Discrete Event Dynamic Systems 11 1-2 2001 137 162
66. Demongodin, I., & Giua, A. (2012). Linear programming techniques for analysis and control of Batches Petri nets. In International workshop on discrete event systems, WODES'12 (pp. 54-60). IFAC-PapersOnLine, Guadalajara, Mx.
67. J.B. Dennis Record of the Project MAC conference on concurrent systems and parallel computation 1970 ACM New York
68. J. Desel, and J. Esparza Free choice Petri nets Cambridge tracts in theoretical computer science Vol. 40 1995 Cambridge University Press
69. J. Desel, W. Reisig, and G. Rozenberg Lectures on concurrency and Petri nets LNCS, Advances in Petri Nets Vol. 3098 2004 Springer
70. A. Desrochers, and R.Y. Al-Jaar Applications of Petri nets in manufacturing systems 1995 IEEE Press
71. M. Diaz Petri nets: fundamental models, verification and applications Control systems, robotics and manufacturing series (CAM) 2009 Wiley London
72. M. Diaz, G. Juanole, and J.P. Courtiat Observer - a concept for formal on-line validation of distributes systems IEEE Transactions on Software Engineering 20 12 1994 900 913
73. F. DiCesare, G. Harhalakis, J.M. Proth, M. Silva, and F.B. Vernadat Practice of Petri nets in manufacturing 1993 Chapman & Hall
74. Di Febbraro, A., Giua, A., & Menga, G. (Eds.) (2001). Special issue on hybrid Petri nets. Discrete Event Dynamic Systems, 11(1-2).
75. A. DiFebbraro, D. Giglio, and N. Sacco Urban traffic control structure based on hybrid Petri nets IEEE Transactions on Intelligent Transportation Systems 5 4 2004 224 237
76. Ding, J. (2010). Structural and fluid analysis for large scale PEPA models with applications to content adaptation systems. Ph.D. thesis, The University of Edinburgh.
77. J. Dion, C. Commault, and J. van der Woude Generic properties and control of linear structured systems: a survey Automatica 39 7 2003 1125 1144
78. M. Dotoli, and M.P. Fanti An urban traffic network model via coloured timed Petri nets Control Engineering Practice 14 2006 1213 1229
79. M. Dotoli, M. Fanti, A. Mangini, and W. Ukovich On-line fault detection in discrete event systems by Petri nets and integer linear programming Automatica 45 11 2009 2665 2672
80. J. Dubreil, P. Darondeau, and H. Marchand Supervisory control for opacity IEEE Transactions on Automatic Control 55 5 2010 1089 1100
81. C. Dufourd, A. Finkel, and P. Schoebelen Reset nets between decidability and undecidability Proceedings of ICALP 98 LNCS Vol. 1443 1998 Springer 103 115
82. A. Ehrenfeucht, and G. Rozenberg Partial 2-Structures: Part I. Basic notions and the representation problem; Part II. State spaces of concurrent systems Acta Informatica 27 1990 315 368
83. H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg Unifying Petri nets Advances in Petri Nets, LNCS Vol. 2128 2001 Springer
84. H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber Petri net technology for communication-based systems Advances in Petri Nets, LNCS Vol. 2472 2003 Springer
85. Esparza, J. (1998). Decidability and complexity of Petri net problems - An introduction. In Reisig and Rozenberg (1998a) (pp. 374-428).
86. J. Esparza, S. Römer, and W. Vogler An improvement of mcmillan's unfolding algorithm Formal Methods in System Design 20 3 2002 285 310
87. J. Ezpeleta, J.M. Colom, and J. Martínez A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Robotics and Automation 11 2 1995 173 184
88. Fanchon, J., Rivière, N., Pradin-Chézalviel, B., & Valette, R. (2003). Preuves de logique linéaire et processus de réseaux de Petri. In E. Lavoisier (Ed.), Modélisation des systémes réactifs, MSR'03 (pp. 261-276). Metz.
89. F. Feldbrugge Petri net tools G. Rozenberg, Applications and theory in Petri nets 1986 LNCS Vol. 222 1986 Springer 203 223
90. F. Feldbrugge Petri net tool overview G. Rozenberg, Advances in Petri nets 1993 LNCS Vol. 674 1993 Springer 169 209
91. A. Ferscha Adaptive time warp simulation of timed Petri nets IEEE Transactions on Software Engineering 25 2 1999 237 257
92. A. Finkel The minimal coverability graph for Petri nets G. Rozenberg, Advances in Petri nets 1993 LNCS Vol.674 1993 Springer 210 243
93. G.S. Fishman Concepts and methods in discrete event digital simulation 1973 Wiley
94. W.H. Fleming Future directions in control theory: A mathematical perspective Report of the panel on future directions in control theory 1988 SIAM
95. J.W. Forrester Industrial dynamics 1961 MIT Press Cambridge, Mass
96. Fraca, E., Júlvez, J., & Silva, M. (2012). Marking homothetic monotonicity and fluidization of untimed Petri nets. In International workshop on discrete event systems, WODES'12 (pp. 21-27). IFAC-PapersOnLine, Guadalajara, Mx.
97. Frey, G. (2000). Automatic implementation of Petri Net based control algorithms on PLC. In Proceedings of the American control conference on ACC 2000 (pp. 2829-2823). Chicago.
98. V. Galpin Continuous approximation of PEPA models and Petri nets International Journal of Computer Aided Engineering and Technology 2 4 2010 324 339
99. G. Geeraerts, J.F. Raskin, and L.V. Begin On the efficient computation of the minimal coverability set for Petri nets K.S. Namjoshi, T. Yoneda, T. Higashino, Y. Okamura, Automated technology for verification and analysis LNCS Vol. 4762 2007 Springer 98 113
100. S. Genc, and S. Lafortune Distributed diagnosis of place-bordered Petri nets IEEE Transactions on Automation Science and Engineering 4 2 2007 206 219
101. H. Genrich Predicate/transition nets W. Brauer, W. Reisig, G. Rozenberg, Petri Nets: Central models and their properties - Advances in Petri nets 1986. Part I - Proceedings of an advanced course, Bad Honnef, September 1986 LNCS Vol. 254 1987 Springer Berlin 207 247
102. H. Genrich, and K. Lautenbach The analysis of distributed systems by means of predicate/transition nets G. Khan, Semantics of concurrent computation LNCS Vol. 70 1979 Springer 123 146
103. H.J. Genrich, and K. Lautenbach System modeling with high level Petri nets Theoretical Computer Science 13 1981 109 136
104. R. German Performance analysis of communication systems: Modeling with non-markovian stochastic Petri nets 2000 John Wiley and Sons
105. S.B. Gershwin Manufacturing systems engineering 1994 Prentice-Hall Englewood Cliffs, NJ
106. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè A unified high-level Petri net formalism for time-critical systems IEEE Transactions on Software Engineering 17 2 1991 160 172
107. J.Y. Girard Linear logic Theoretical Computer Science 50 1987 1 102
108. J.Y. Girard Linear logic: Its syntax and semantics Advances in linear logic Lecture Notes Series. London Mathematical Society Vol. 222 1995 Cambridge University Press
109. C. Girault, and W. Reisig Application and theory of Petri nets Informatik Fachberichte Vol. 52 1982 Springer
110. C. Girault, and R. Valk Petri nets for systems engineering A guide to modeling, verification, and applications 2003 Springer Berlin
111. A. Giua State estimation and fault detection using Petri nets L.M. Kristensen, L. Petrucci, Applications and theory of Petri nets 2011 LNCS Vol. 6709 2011 Springer 38 48
112. Giua, A. (2013). Supervisory control of Petri nets with language specifications. In Seatzu et al. (2013) (pp. 235-255).
113. Giua, A., DiCesare, F., & Silva, M. (1992). Generalized mutual exclusions constraints on nets with uncontrollable transitions. In IEEE international conference on systems, man and cybernetics (pp. 974-979). Chicago.
114. A. Giua, and A. Seatzu Observability of place/transition nets IEEE Transactions on Automatic Control 47 9 2002 1424 1437
115. A. Giua, C. Seatzu, and D. Corona Marking estimation of Petri nets with silent transitions IEEE Transactions on Automatic Control 52 9 2007 1695 1699
116. Guasch, T., Piera, M.A., Casanovas, J., & Figueras, J. (2002). Modelado y Simulación. Aplicación a procesos logísticos de fabricación y servicios. Edicions UPC, Barcelona.
117. B. Gudiño-Mendoza, E. López-Mellado, and H. Alla Modeling and simulation of water distribution systems using timed hybrid Petri nets Simulation: Transactions of the Society for Modeling and Simulation 88 3 2012 329 347
118. Haar, S., & Fabre, E. (2013). Diagnosis with Petri nets unfoldings. In Seatzu et al. (2013) (pp. 301-317).
119. P.J. Haas Stochastic Petri nets Modelling, stability, simulation Springer series in operations research 2002 Springer New York
120. Hack, M. H. T. (1972). Analysis of production schemata by Petri nets. Master's thesis, M.I.T., Cambridge, MA. (Corrections in Computation Structures Note 17, 1974).
121. Hack, M. H. (1974a). The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems. In Proceedings of the 15th annual IEEE symposium on switching and automata theory. New Orleans.
122. Hack, M. H. T. (1974b). Decision problems for Petri nets and vector addition systems. Technical Report Computation Structures Group Memo 95. Project MAC, Laboratory for Computer Science, M.I.T., Cambridge, MA.
123. Hack, M. H. T. (1975). Decidability questions for Petri nets. Ph.D. thesis, M.I.T., Cambridge, MA. Also Tech. Report 161, Lab. for Computer Science, June 1976.
124. M. Hack The equality problem for vector addition systems is undecidable Theoretical Computer Science 2 1 1976 77 95
125. S. Haddad, F. Kordon, L. Pautet, and L. Petrucci Models and analysis in distributed systems 2011 Wiley New York
126. S. Haddad, and J. Pradat-Peyre New efficient Petri nets reductions for parallel programs verification Parallel Processing Letters 16 1 2006 101 116
127. C.N. Hadjicostis, and G.C. Verghese Monitoring discrete event systems using Petri net embeddings S. Donatelli, H.C.M. Kleijn, Application and Theory of Petri Nets 1999 LNCS Vol. 1639 1999 Springer 188 207
128. R. Hadjidj, and H. Boucheneb Efficient reachability analysis for time Petri nets IEEE Transactions on Computers 60 8 2011 1085 1099
129. Heiner, M. (Ed.) (2011). Special issue Petri nets for systems and synthetic biology. Natural Computing, 10(2-3).
130. M. Heiner, M. Herajy, F. Liu, C. Rohr, and M. Schwarick Snoopy - A unifying Petri net tool S. Haddad, L. Pomello, Application and theory of Petri nets - Hamburg, June LNCS Vol. 7347 2012 Springer 398 407
131. J. Hillston Fluid flow approximation of PEPA models Proceedings of the second international conference on the quantitative evaluation of systems (QEST) 2005 IEEE Computer Society 33 43
132. K. Hiraishi Performance evaluation of workflows using continuous Petri nets with interval firing speeds IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 91 11 2008 3219 3228
133. Ho, Y.C. (Ed.) (1989). Special issue on discrete event systems. Proceedings of the IEEE, 77(1).
134. C. Hoffsaesb The French society of computer scientists: AFCET Annals of the History of Computing 12 3 1990 167 176
135. L.E. Holloway, B.H. Krogh, and A. Giua A survey of Petri net methods for controlled discrete event systems Journal of Discrete Event Dynamic Systems 7 1997 151 190
136. A.W. Holt, and F. Commoner Events and conditions Record Project MAC Conference on Concurrent Systems Parallel Computation 1970 3 52
137. Holt, A., Saint, H., Shapiro, R., & Warshall, S. (1968). Final report of the information system theory project. In Tech. Rep. RADC-TR-68-305. Rome Air Development Center, Griffiss Air Force Base, New York.
138. J. Hopcroft, R. Motwani, and J. Ullman Introduction to automata theory, languages, and computation 2001 Addison-Wesley Reading, Massachusetts
139. G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi Fluid stochastic Petri nets: Theory, applications, and solution techniques European Journal of Operational Research 105 1998 184 201
140. H. Huang, L. Jiao, T. Cheung, and W.M. Mak Property-preserving Petri net process algebra in software engineering 2012 World Scientific Singapore
141. M.V. Iordache, and P.J. Antsaklis Supervisory control of concurrent systems: A Petri net structural approach 2006 Birkhauser Boston
142. K. Jensen Coloured Petri nets and the invariant-method Theoretical Computer Science 14 1981 317 336
143. K. Jensen Coloured Petri nets: Basic concepts, analysis methods, and practical use EATCS monographs on theoretical computer Science 1994 Springer
144. K. Jensen Coloured Petri nets 2nd corr. printing ed. Basic concepts, analysis methods and practical use Vol. 1 1997 Springer Berlin
145. Jensen, K. (Ed.) (2008-2012). Transactions on Petri nets and other models of concurrency, LNCS (Vols. 5100, 5460, 5800, 6550, 6900, 7400). Springer.
146. K. Jensen, and L.M. Kristensen Coloured Petri nets Modelling and validation of concurrent systems 2009 Springer Berlin
147. K. Jensen, and G. Rozenberg High-level Petri nets 1991 Springer Berlin
148. Jiménez, I., López, E., & Ramírez, A. (2000). Synthesis of ladder diagrams from Petri nets controller models. In IEEE international symposium on intelligent control (ISIC'01) (pp. 225-230). Mexico-DF.
149. Jiménez, E., Júlvez, J., Recalde, L., & Silva, M. (2004). Relaxed continuous views of discrete event systems: Considerations on Forrester diagrams and Petri nets. In IEEE international conference on systems, man, and cybernetics (SMC) (Vol. 5, pp. 4897-4904). The Hague.
150. E. Jiménez Macías, and M. Pérez de la Parte Simulation and optimization of logistic and production systems using discrete and continuous Petri nets Simulation 80 3 2004 143 152
151. J. Júlvez, and R. Boel A continuous Petri net approach for model predictive control of traffic systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 2010
152. Júlvez, J., Vázquez, C. R., Mahulea, C., & Silva, M. (2013). Continuous Petri nets: Controllability and control. In Seatzu et al. (2013) (pp. 407-429).
153. J. Júlvez, C. Mahulea, and C. Vzquez SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets Nonlinear Analysis: Hybrid Systems 6 2 2012 806 817
154. J. Júlvez, L. Recalde, and M. Silva Steady state performance evaluation of continuous mono-T-semiflow Petri nets Automatica 41 4 2005 605 616
155. P. Kachroo, and K. Özbay Feedback control theory for dynamic traffic assignment Series on advances in industrial control 1999 Springer London
156. A. Karatkevich Dynamic analysis of Petri net-based discrete systems Lecture notes in control and information sciences Vol. 356 2007 Springer Berlin
157. R.M. Karp, and R.E. Miller Parallel program schemata Journal on Computer Systems Science 3 1969 147 195
158. J. Kleijn, M. Koutny, and G. Rozenberg Petri nets for biologically motivated computing Scientific Annals of Computer Science 21 2 2011 199 225
159. M. Kloetzer, C. Mahulea, C. Belta, and M. Silva An automated framework for formal verification of timed continuous Petri nets IEEE Transactions on Industrial Informatics 6 3 2010 460 471
160. I. Koch, W. Reisig, and F. Schreiber Modeling in systems biology The Petri net approach, computational biology Vol. 16 2011 Springer Berlin
161. F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, and K. Lampka Report on the model checking contest at Petri nets 2011 Transaction of the Petri Nets and Other Models of Concurrency VI 7400 2012 169 196
162. Kosaraju, S. R. (1982). Decidability of reachability in vector addition systems. In 14th Annual symposium on theory of computing (pp. 267-281). San Francisco.
163. L.M. Kristensen, K. Schmidt, and A. Valmari Question-guided stubborn set methods for state properties Formal Methods in System Design 29 3 2006 215 251
164. T.S. Kuhn The structure of scientific revolutions 1962 University of Chicago Press
165. C. Lakos From coloured Petri nets to object Petri nets 16th international conference on the application and theory of Petri nets LNCS Vol. 935 1995 Springer Berlin 278 297
166. Lautenbach, K., & Schmid, H. A. (1974). Use of Petri nets for proving correctness of concurrent process systems. In IFIP congress (pp. 187-191).
167. G.B. Lee, H. Zandong, and J.S. Lee Automatic generation of ladder diagram with control Petri net Journal of Intelligent Manufacturing 15 2004 245 252
168. D. Lefebvre, and C. Delherm Diagnosis of DES with Petri net models IEEE Transactions on Automation Science and Engineering 4 1 2007 114 118
169. D. Lime, and O.H. Roux Formal verification of real-time systems with preemptive scheduling Real-Time Systems 41 2 2009 118 151
170. D. Lime, O.H. Roux, C. Seidner, and L.M. Traonouez Romeo: A parametric model-checker for Petri nets with stopwatches S. Kowalewski, A. Philippou, Tools and algorithms for the construction and analysis of systems, TACAS 2009 LNCS Vol. 5505 2009 Springer 54 57
171. C. Lindemann Performance modelling with deterministic and stochastic Petri nets 1998 John Wiley and Sons
172. Z.W. Li, and M.C. Zhou Deadlock resolution in automated manufacturing systems A novel Petri net approach Advances in industrial control 2009 Springer London
173. López-Grao, J. P., & Colom, J. M. (2013). Structural methods for the control of discrete event dynamic systems. the case of the resource allocation problem. In Seatzu et al. (2013) (pp. 257-278).
174. S.H. Low, F. Paganini, and J.C. Doyle Internet congestion control IEEE Control Systems Magazine 22 February 2002 28 43
175. Mahulea, C., Júlvez, J., Vázquez, C.R., & Silva, M. (2013). Continuous Petri nets: Observability and diagnosis. In Seatzu et al. (2013) (pp. 387-406).
176. C. Mahulea, L. Recalde, and M. Silva Basic server semantics and performance monotonicity of continuous Petri nets Discrete Event Dynamic Systems 19 2 2009 189 212
177. J. Martínez, P. Muro, M. Silva, S.F. Smith, and J.L. Villarroel Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems R. Huber, Artificial intelligence in scientific computation 1989 Scientific Publishing Co. 307 313
178. N. Martin-Oliet, and J. Meseguer From Petri nets to linear logic: A survey International Journal of Foundations of Computer Science 2 4 1991 297 399
179. O. Mayr The origins of feedback control 1970 The MIT Press Cambridge, MA
180. E. Mayr An algorithm for the general Petri net reachability problem SIAM Journal of Computing 13 3 1984 441 460
181. F. McWilliams, and N. Sloan The theory of error correcting codes 1981 North-Holland New York
182. J.A. Meldman A Petri-net representation of civil procedure IDEA: The Journal of Law and Technology 19 2 1978 123 148
183. J.A. Meldman, and A.W. Holt Petri nets and legal systems Jurimetrics Journal 12 2 1971 65 75
184. Memmi, G., & Roucairol, G. (1980). Linear algebra in net theory. In Brauer (1980) (pp. 213-223).
185. G. Memmi, and A. Finkel An introduction to FIFO Nets-monogeneous nets: A subclass of FIFO nets Theoretical Computer Science 35 1985 191 214
186. Merlin, P. (1974). A study of the recoverability of computer systems. Ph.D. thesis, Univ. California, Irvine.
187. Meyer, A. L. (2012). Discontinuity induced bifurcations in timed continuous Petri nets. In International workshop on discrete event systems, WODES'12 (pp. 28-33). IFAC-PapersOnLine, Guadalajara, Mx.
188. R. Milner A calculus of communicating systems LNCS Vol. 92 1980 Springer
189. R. Milner Elements of interaction Communications of the ACM 36 1 1993 78 89
190. T. Miyamoto, and S. Kumagai A survey of object-oriented petri nets and analysis methods IEICE Transactions 88-A 11 2005 2964 2971
191. Moalla, M., Sifakis, J., & Silva, M. (1980). A la recherche d'une méthodologie de conception sûre des automatismes logiques basée sur l'utilisation des réseaux de Petri. In Monographie AFCET: Sureté de Fonctionnement des Systèmes Informatiques (pp. 133-167). Hommes et Techniques, Suresnes.
192. M.K. Molloy Performance analysis using stochastic Petri nets IEEE Transactions on Computers 31 9 1982 913 917
193. J. Moody, and J. Antsaklis Supervisory control of discrete event systems using Petri nets 1998 Kluwer Academic Publishers Boston
194. T. Murata State equation, controllability, and maximal matchings of Petri nets IEEE Transactions on Automatic Control 22 3 1977 412 416
195. T. Murata Petri Nets: Properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
196. Murata, T. (1996). Temporal uncertainty and fuzzy-timing high-level Petri nets. In J. Billington and W. Reisig (Eds.), Application and theory of Petri nets 1996 (pp. 11-28). Osaka.
197. Natkin, S. (1980). Réseaux de Petri Stochastiques. Ph.D. thesis. CNAM, Paris.
198. A. Nazeem, and S. Reveliotis Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The nonlinear case IEEE Transactions on Automatic Control 57 7 2012 1670 1684
199. G.F. Newell Applications of queuing theory 2nd ed. 1971 Chapman and Hall 1982
200. J. Park, and S.A. Reveliotis Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings IEEE Transactions on Automatic Control 46 10 2001 1572 1583
201. E. Park, D.M. Tilbury, and P.P. Khargonekar A modeling and analysis methodology for modular logic controllers of machining systems using petri net formalism IEEE Transactions on Systems, Man, and Cybernetics-Part C: Applications and Reviews 31 2 2001 168 188
202. W. Pedrycz Fuzzy sets engineering 1995 CRC Press Boca Raton
203. W. Penczek, and A. Polrola A dvances in verification of time Petri nets and timed automata An Emporal Logic Approach, Studies in Computational Intelligence Vol. 20 2006 Springer Berlin, Heidelberg
204. J.L. Peterson Petri nets ACM Computing Surveys 9 3 1977 223 252
205. J.L. Peterson Petri Net theory and the modeling of systems 1981 Prentice-Hall Upper Saddle River, NJ
206. Petri, C. A. (1962). Kommunication mit Automaten. Ph.D. thesis. Technischen Hoschule Darmstadt.
207. Petri, C. A. (1966). Communication with automata. Rome Air Development Center-TR-65-377, New York.
208. Petri, C. A. (1976). Interpretations of net theory. Technical Report 75-07, Gessellschaft fur Mathematik und Datenverarbeitung, Bonn.
209. Petri, C.A., & Smith, E. (2007). The pragmatic dimension of net theory. In Proceedings of the 8th European workshop on applications and theory of Petri nets. Zaragoza.
210. Pnueli, A., & Sifakis, J. (Eds.) (1995). Special issue on hybrid systems. Theoretical Computer Science, 138(1).
211. J. Prock A new technique for fault detection using Petri nets Automatica 27 1991 239 245
212. J.M. Proth, and X. Xie Petri nets A tool for design and management of manufacturing systems 1996 Wiley
213. J.P. Queille, and J. Sifakis Specification and verification of concurrent systems in Cesar 5th International symposium on programming LNCS Vol. 137 1982 Springer 337 351
214. P.J. Ramage, and W.M. Wonham The control of discrete event systems IEEE Proceedings 77 1 1989 81 98
215. C.V. Ramamoorthy, and G.S. Ho Performance evaluation of asynchronous concurrent systems using Petri nets IEEE Transactions on Software Engineering 6 5 1980 440 449
216. Ramchandani, C. (1973). Analysis of asynchronous concurrent systems by timed Petri nets. Ph.D. thesis. MIT, Boston.
217. A. Ramírez-Treviño, I. Rivera-Rangel, and E. López-Mellado Observability of discrete event systems modeled by interpreted Petri nets IEEE Transactions on Robotics and Automation 19 4 2003 557 565
218. A. Ramírez-Treviño, E. Ruiz-Beltrán, J. Arámburo-Lizárraga, and E. López-Mellado Structural diagnosability of DES and design of reduced Petri net diagnosers IEEE Transactions on Systems, Man, and Cybernetics, Part A 42 2 2012 416 429
219. A. Ramírez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, and E. López-Mellado Online fault diagnosis of discrete event systems. A Petri net-based approach IEEE Transactions on Automation Science and Engineering 4 1 2007 31 39
220. L. Recalde, S. Haddad, and M. Silva Continuous Petri nets: Expressive power and decidability issues International Journal of Foundations of Computer Science 21 2 2010 235 256
221. L. Recalde, E. Teruel, and M. Silva Modeling and analysis of sequential processes that cooperate through buffers IEEE Transactions on Robotics and Automation 14 2 1998 267 277
222. L. Recalde, E. Teruel, and M. Silva On linear algebraic techniques for liveness analysis of P/T systems Journal of Circuits, Systems, and Computers 8 1 1998 223 265
223. L. Recalde, E. Teruel, and M. Silva Structure theory of multi-level deterministically synchronized sequential processes Theoretical Computer Science 254 1-2 2001 1 33
224. Reddy, V. N., Mavrovouniotis, M. L., & Liebman, M. N. (1993). Petri net representations in metabolic pathways. In Proceedings of the 1st international conference on intelligent systems for molecular biology (pp. 328-336). Bethesda, MD: Association for Advancement of Artifical Intelligence, AAAI.
225. W. Reisig Petri nets An introduction, EATCS monographs on theoretical computer science Vol. 4 1985 Springer
226. W. Reisig, and G. Rozenberg Lectures on Petri nets I: Basic models LNCS, Advances in Petri Nets Vol. 1491 1998 Springer
227. W. Reisig, and G. Rozenberg Lectures on Petri nets II: Applications LNCS, Advances in Petri nets Vol. 1492 1998 Springer
228. E. Renshaw A survey of stepping-stone models in population dynamics Advances in Applied Probability 18 1986 581 627
229. C. Reutenauer The mathematics of Petri nets 1990 Prentice-Hall London
230. F. Rosa-Velardo, and D. de Frutos-Escrig Decidability problems in Petri nets with names and replication Fundamenta Informatica 105 3 2010 291 317
231. Roucairol, G. (1986). FIFO-nets. In Brauer et al. (1987b) (pp. 436-459).
232. Rozenberg, G. (Ed.), (1985-1991, 1993). Advances in Petri nets. Lecture notes on computer science (Vols. 188, 222, 266, 340, 424, 483, 524, 674). Springer.
233. G. Rozenberg The DEMON project-Advances in Petri nets LNCS Vol. 609 1992 Springer
234. M. Savageau Biochemical systems analysis: A study of function and design in molecular biology 1976 Addison-Wesley Reading, MA
235. Seatzu, C., Silva, M., & Schuppen, J. (Eds.) (2013). Control of discrete-event systems. Automata and Petri net perspectives. Lecture notes in control and information sciences (Vol. 433). London: Springer.
236. B. Selic The pragmatics of model-driven development IEEE Software 20 5 2003 1925
237. G.D.M. Serugendo, D. Mandrioli, D. Buchs, and N. Guelfi Real-time synchronised Petri nets Proceedings of the international conference on applications and theory of Petri nets 2002 LNCS Vol. 2360 2002 Springer 142 162
238. S.M. Shatz, S. Tu, T. Murata, and S. Duri An application of Petri net reduction for Ada tasking deadlock analysis IEEE Transactions on Parallel Distributed Systems 7 12 1996 1307 1322
239. Sibertin-Blanc, C. (1994). Cooperative nets. (In Valette (1994) (pp. 377-396)).
240. J. Sifakis Use of Petri nets for performance evaluation H. Beilner, E. Gelenbe, Measuring, Modelling and Evaluating Computer Systems 1977 North-Holland 75 93
241. J. Sifakis Structural properties of Petri nets Mathematical Foundations of Computer Science LNCS Vol. 64 1978 Springer 474 483
242. J. Sifakis Realization of fault-tolerant systems by coding Petri nets Design Automation and Fault-Tolerant Computing 3 2 1979 93 107
243. Silva, M. (1985). Las Redes de Petri: en la Automática y la Informática. In: Madrid, A. C., (Ed.), Thomson-AC, 2002 (2nd ed.).
244. M. Silva Towards a synchrony theory for P/T nets K. Voss, H. Genrich, G. Rozenberg, Concurrency and nets 1987 Springer Berlin 435 460
245. M. Silva Introducing Petri nets Practice of Petri nets in manufacturing 1993 Chapman and Hall 1 62
246. Silva, M. (2012). 50 Years after the Ph.D. thesis of Carl Adam Petri: a perspective. In International workshop on discrete event systems, WODES'12 (pp. 13-20). IFAC-PapersOnLine, Guadalajara, Mx.
247. Silva, M., & David, R. (1977). On the programming of asynchronous sequential systems by logic equations. In IFAC international symposium on discrete systems (pp. 52-62). Dresde (DDR).
248. Silva, M. & Teruel, E. (1996). A systems theory perspective of discrete event dynamic systems: The Petri net paradigm. In Symposium on discrete events and manufacturing systems (pp. 1-12). CESA '96 IMACS Multiconference. Lille.
249. Silva, M., & Velilla, S. (1985). Error detection and correction on Petri net models of discrete event control systems. In Proceedings of the ISCAS 85 (pp. 921-924). Kyoto.
250. M. Silva, and R. David Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs Rairo-Automatique 13 4 1979 369 393
251. Silva, M., Teruel, E., & Colom, J.M. (1998). Linear algebraic and linear programming techniques for the analysis of net systems. In Reisig and Rozenberg (1998a) (pp. 309-373).
252. M. Silva, J. Júlvez, C. Mahulea, and C. Vázquez On fluidization of discrete event models: Observation and control of continuous Petri nets Discrete Event Dynamic Systems 21 2011 427 497
253. M. Silva, and T. Murata B-Fairness and structural B-fairness in Petri net models of concurrent systems Journal of Computer and System Sciences 44 1992 447 477
254. M. Silva, and L. Recalde Petri nets and integrality relaxations: A view of continuous Petri net models IEEE Transactions on Systems, Man, and Cybernetics 32 4 2002 314 327
255. M. Silva, and L. Recalde On fluidification of Petri net models: From discrete to hybrid and continuous models Annual Reviews in Control 28 2004 253 266
256. M. Silva, and E. Teruel Petri nets for the design and operation of manufacturing systems European Journal of Control 3 3 1997 182 199
257. M. Silva, and R. Valette Petri nets and flexible manufacturing G. Rozenberg, Advances in Petri nets 1989 LNCS Vol. 424 1989 Springer 374 417
258. R. Srikant The mathematics of internet congestion control 2003 Birkäuse Boston
259. P. Starke Petri-Netze 1980 Deutcher Verlag der Wissenschaften Berlin
260. P. Starke Reachability analysis of Petri net using symmetries Journal of Systems Analysis, Modelling and Simulation 8 5/6 1991 294 303
261. G. Stremersch Supervision of Petri nets The International Series on Discrete Event Dynamic Systems Vol. 13 2001 Kluwer Academic Publishers
262. H. Sussmann, and J.C. Willems 300 Years of optimal control: From the brachystochrone to the maximum principle IEEE Control Systems Magazine 17 3 1997 32 44
263. F. Symons Introduction to numerical Petri nets, a general graphical model of concurrent processing systems Australian Telecommunication Research 14 1 1980 28 33
264. E. Teruel, G. Franceschinis, and M.D. Pierro Well-defined generalized stochastic Petri nets: A net-level method to specify priorities IEEE Transactions on Software Engineering 29 11 2003 962 973
265. E. Teruel, and M. Silva Liveness and home states in equal conflict systems M.A. Marsan, Application and theory of Petri nets LNCS Vol. 691 1993 Springer 415 432
266. E. Teruel, and M. Silva Structure theory of equal conflict systems Theoretical Computer Science 153 1-2 1996 271 300
267. Thiagarajan, P. S. (1987). Elementary net systems. In Brauer et al. (1987b) (pp. 26-59).
268. C. Tolba, D. Lefebvre, P. Thomas, and A.E. Moudni Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling Simulation Modelling Practice and Theory 13 5 2005 407 436
269. Torngren, M., & Larses, O. (2004). Characterization of model based development of embedded control systems from a mechatronic perspective; drivers, processes, technology and their maturity. In Summer school on model driven engineering for embedded systems. Brest, France.
270. K. Trivedi, and V.G. Kulkarni FSPNs: Fluid stochastic Petri nets M. Ajmone Marsan, Application and theory of Petri nets 1993 LNCS Vol. 691 1993 Springer Berlin 24 31
271. S.H. Unger Asynchronous sequential systems 1969 Wiley-Intescience New York
272. R. Valette Application and theory of Petri nets 1994 LNCS Vol. 815 1994 Springer
273. Valette, R., & Courvoisier, M. (1992). Petri nets and artificial intelligence. In Proceedings of the IEEE/SICE international workshop on emerging technologies for factory automation (pp. 218-238). North Queensland, Australia.
274. Valk, R. (1991). Modelling concurrency by task/flow EN systems. In 3rd Workshop on concurrency and compositionality, GMD-Studien (Vol. 191). Gesellschaft fnr Mathematik und Datenverarbeitung, St. Augustin, Bonn.
275. R. Valk Petri nets as object tokens: An introduction to elementary object nets J. Desel, M. Silva, Proceedings of the international conference on applications and theory of Petri nets LNCS Vol. 1420 1998 Springer Berlin 1 25
276. R. Valk Object Petri nets: Using the nets-within-nets paradigm J. Desel, W. Reisig, G. Rozenberg, Advanced course on Petri nets 2003 LNCS Vol. 3098 2003 Springer Berlin, Germany 819 848
277. Valk, R., & Vidal-Naquet, G. (1977). On the rationality of Petri net languages. In Theoretical computer science, LNCS (Vol. 48, pp. 319-328).
278. Valmari, A. (1998). The state explosion problem. In Reisig and Rozenberg (1998a) (pp. 429-528).
279. W. van der Aalst The application of Petri nets to workflow management The Journal of Circuits, Systems and Computers 8 1 1998 21 66
280. W. van der Aalst Process-aware information systems: Lessons to learned from process mining LNCS Transactions on Petri Nets and Other Models of Concurrency II, LNCS 5460 2009 1 26
281. W. van der Aalst, and C. Stahl Modeling business processes: A Petri net oriented approach 2011 MIT Press Cambridge, MA
282. B.F. van Dongen, A.K. Alves de Medeiros, and L. Wen Process mining: Overview and outlook of Petri net discovery algorithms LNCS Transactions on Petri Nets and Other Models of Concurrency II, LNCS 5460 2009 225 241
283. Vázquez, C., Sutarto, H., Boel, R., & Silva, M. (2010). Hybrid Petri net model of a traffic intersection in an urban network. In IEEE multiconference on systems and control. Yokohama.
284. Vázquez, C. R., Mahulea, C., Júlvez, J., & Silva, M. (2013). Introduction to fluid Petri nets. In Seatzu et al. (2013) (pp. 365-386).
285. C. Vázquez, and M. Silva Stochastic continuous Petri nets: An approximation of markovian net models IEEE Transactions on System, Man and Cybernetics, Part A: Systems and Humans 42 4 2012 641 653
286. Velilla, S., & Silva, M. (1988). The spy: A mechanism for safe implementation of highly concurrent systems. In Annual review in automatic programming (Sp. Issue: 15th IFAC/IFIP workshop on real time programming) (Vol. 14(1), pp. 75-81).
287. E. Villani, P.E. Miyagi, and R. Valette Modelling and analysis of hybrid supervisory systems A Petri net approach 2007 Springer Berlin
288. J. Wang Timed Petri nets: Theory and application International series on discrete event dynamic system 9 1998 Kluwer Norwell, MA
289. E. Wingender Biological Petri nets Studies in health technology and informatics Vol. 162 2011 IOS Press Lansdale, PA
290. Y. Wu, and C. Hadjicostis Algebraic approaches for fault identification in discrete-event systems IEEE Transactions on Automatic Control 50 12 2005 2048 2053
291. A. Yakovlev, L. Gomes, and L. Lavagno Hardware design and Petri nets 2000 Kluwer Academic Press
292. Zaytoon, J., & Lafortune, S. (2013). Overview of fault diagnosis methods for discrete event systems. Annual Reviews in Control, 37, 308-320.
293. B.P. Zeigler Theory of modeling and simulation 1976 John Wiley
294. B.P. Zeigler Multifacetted modelling and discrete event simulation 1984 Academic Press
295. M.C. Zhou, and F. DiCesare Petri net synthesis for discrete event control of manufacturing systems 1993 Kluwer Academic Publishers
296. M. Zhou, and K. Venkatesh Modeling, simulation, and control of flexible manufacturing systems A Petri net approach 1999 World Scientific New Jersey
297. A. Zimmermann Stochastic discrete event systems Modeling, evaluation, applications 2007 Springer Berlin
298. Zurawski, R., & Zhou, M. C. (Eds.) (1994). Special issue on petri nets in manufacturing. IEEE Transactions on Industrial Electronics, 41(6).
299. Zuse, K. (1980). Petri-nets from the engineering viewpoint. In Brauer (1980) (pp. 441-479).