Discrete, continuous, and hybrid petri nets (second edition)

Discrete, Continuous, and Hybrid Petri Nets (Second Edition)

Volumn , Issue , 2010, Pages 1-550

  David, René ^a   Alla, Hassane ^a  

^a GIPSA LAB   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84891478126     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-642-10669-9     Document Type: Book

References (246)

1. AFCET, "Normalisation de la représentation du cahier des charges d'un automatisme logique", Final report of AFCET Commission, August 1977, published in the J. Automatique et Informatique Industrielles (61-62), November-December 1977.
2. T. Agerwala and M. Flynn, "Comments on Capabilities, Limitations and Correctness of Petri Nets", First Annual Symposium on Computer Architecture, Florida (US), pp. 81-86, 1973.
3. M. Ajmone-Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumati, "The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets for the Performance of Multiprocessor Systems", IEEE Trans. on Software Engineering, vol. 15, no. 7, pp. 832-846, 1989.
4. M. Ajmone-Marsan, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets", ACM Trans. Computer Syst., vol. 2, no. 1, May 1984.
5. M. Ajmone-Marsan and G. Chiola, "On Petri Nets with Deterministic and Exponential Transition Firing Times", Proc. 7th European Workshop on Theory and Applications of Petri Nets, Oxford (GB), December 1984.
6. H. Alla, Réseaux de Petri colorés et réseaux de Petri continus : Application à l'étude des sytèmes à événements discrets, Thèse d'Etat, Grenoble University (INPG), June 1987.
7. H. Alla, J.-B. Cavaillé, J. Le Bail, and G. Bel, "Les systèmes de production par lots : une approche discret-continu utilisant les réseaux de Petri hybrides", Proc. Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Paris, January 1992.
8. H. Alla and R. David, "A Modelling and Analysis Tool for Discrete Event Systems: Continuous Petri Net", Performance Evaluation, vol. 33, pp. 175-199, 1998.
9. H. Alla and R. David, "Continuous and Hybrid Petri Nets", Journal of Circuits, Systems and Computers, Special Issue on Petri Nets, Vol. 8, No 1, pp. 159-188, 1998.
10. M. Allam and H. Alla, "Modeling and Simulation of an Electronic Component Manufacturing System Using Hybrid Petri Nets", IEEE Trans. on Semiconductor Manufacturing, vol. 11, no. 3, pp. 374-383, 1998.
11. M. Allam and H. Alla, "From Hybrid Petri Nets to Automata", Journal Européen des Systèmes Automatisés, vol. 32, no. 9-10, pp. 1165-1185, 1998.
12. R. Alur, C. Courcoubetis, N. Halwachs, T.A. Henzinger, P.H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The Algorithmic Analysis of Hybrid Systems", Theoretical Computer Science 138, pp. 3-34, 1995.
13. R. Alur and D. L. Dill, "A Theory of Timed Automata", Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
14. A. Amrah, N. Zerhouni, and A. E. Moudni, "On the Control of Manufacturing lines Modelled by Controlled Continuous Petri Nets", Int. J. Syst. Sci., vol. 29, no. 2, pp. 127-137, 1998.
15. P. Antsalkis, W. Khone, A. Nerode, and S. Sastry (Coordinators), Hybrid Systems II, Lecture notes in Computer Science 999, Springer-Verlag, 1995.
16. P. J. Antsalkis, J. A. Stiver, and M. D. Lemmon, "Hybrid System Modeling and Autonomous Control Systems", Workshop on Theory of Hybrid Systems, Lecture notes in Computer Science 736, Springer-Verlag, pp. 336-392, 1993.
17. N. Audry, Modélisation et simulation des systèmes de production à haute cadence avec convoyage: réseaux de Petri lots commandés génériques, Doctorat thesis, Montpellier University, 1995.
18. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linearity, Wiley, 1992.
19. A. Back, J. Gukenheimer, and M. Myers, "A Dynamical Simulation Facility for Hybrid Systems", Workshop on Theory of Hybrid Systems, Lecture notes in Computer Science 736, Springer-Verlag, pp. 255-267, 1993.
20. F. Balduzzi, A. Giua, and G. Menga, "Hybrid Stochastic Petri Nets: Firing Speed Computation and FMS Modelling", WODES '98, Gagliari (IT), 1998.
21. F. Balduzzi, A. Giua, and G. Menga, "First-Order Hybrid Petri Nets: A Model for Optimization and Control", IEEE Trans. on Robotics and Automation, vol. 16, no. 4, pp. 382-399, 2000.
22. A. Balluchi, M. Zonca, T. Villa, and A. L. Sangiovanni-Vincentelli, A Non-Linear Hybrid Model of a 4-Cylinder Engine for Idle Speed Control, Report European Community Projects IST-2001-33520 CC (Control & Comp.), http://www.dii.unisi.it/-hybrid/cc/, Parades, Rome, 2003.
23. A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems", IEEE Proceedings, vol. 79, no. 9, September 1991.
24. C. Berge, Graphes et hypergraphes, Dunod, Paris, 1970.
25. G. Berry, P. Couronne, and G. Gonthier, "Programmation synchrone des systèmes réactifs : le langage ESTEREL", Technique et Science Informatiques, vol. 6, no. 4, 1987.
26. G. Berthelot, Transformations et analyse de réseaux de Petri: application aux protocoles, Thèse d'Etat, Paris VI University, 1983.
27. G. Berthelot, "Transformations des réseaux de Petri", Technique et Science Informatiques, vol. 14, no. 1, pp. 91-101, 1985.
28. B. Berthomieu and M. Diaz, "Modeling and Verification of Time Dependent Systems Using Time Petri Nets", IEEE Trans. on Software Engineering, vol. 17, no. 3, pp. 259-273, 1991.
29. M. Bitam and H. Alla, "Modeling of a Communication Network under TCP/IP Protocol Using Hybrid Petri Nets", IFAC Conf. on Analysis and Design of Hybrid Systems, Saint-Malo (FR), pp. 105-110, 2003.
30. J. Boussin, "Synthesis and Analysis of Logic Automation Systems", 7th Triennal World Congress, Helsinki, Pergamon Press, 1978.
31. G. W. Brams, Réseaux de Petri : théorie et pratique, Masson Pub., Paris, 1983.
32. M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A Unified Framework for Hybrid Control: Background, Model, and Theory", Proc. 33rd IEEE Conf. on Decision and Control, Lake Buena Vista (US), pp. 4228-4234, 1994.
33. P. L. Brinkman and W. A. Blaauboer, "Timed Continuous Petri Nets: A tool for Analysis and Simulation of Discrete Event Systems", Proc. 1990 European Simulation Symposium, Ghent (BE), pp. 164-168, Nov. 1990.
34. R. W. Brockett, "Hybrid Models for Motion Control Systems", in H. L. Trentelman and J. C. Willems eds., Essays in Control: Perspectives in the Theory and its Applications, Birkhäuser, Boston, pp. 29-53, 1993.
35. J.A Buzacott and L.E. Hanifin, "Models of Automatic Transfer Lines with Inventory Banks-A Review and Comparison", IIE Transactions, vol. 10, pp. 197-207, 1978.
36. W. H. Byrn, Sequential Processes, Deadlocks, and Semaphores Primitives, Tech. Report 7-75, Harvard Univ., Cambridge, MA, 1975.
37. J. Campos, G. Chiola, J. M. Colom, and M. Silva, "Tight Polynomial Bounds for Steady-State Performance of Marked Graphs", in Proc. 3rd Int. Workshop on Petri Nets and Performance Models (PNPM '89), Kyoto (JP), December 1989.
38. J. Campos, G. Chiola, and M. Silva, "Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector", IEEE Trans. on Software Engineering, vol. 17, no. 2, pp. 117-125, , 1991.
39. J. Cardoso, R. Valette, and D. Dubois, "Fuzzy Petri Nets: An Overview", in Proc. 13th IFAC World Congress, San Francisco (US), July 1996.
40. J. Carroll, Theory of Finite Automata, Prentice Hall, Engelwood Cliffs, NJ, 1989.
41. P. Caspi, Personal communication, 1987.
42. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, "LUSTRE, a Declarative Language for Real-Time Programming", Proc. Conf. on Principles of Programming Languages, Munich (DE), 1987.
43. F. E. Cellier, Combined Continuous/Discrete System Simulation by Use of Digital Computer, Dissertation, Diss ETH 6483, Swiss Federal Institute of Technology Zurich (CH), 1979.
44. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette, " Petri Net Based Modeling of Hybrid Systems", Computers in Industry, vol. 36, pp. 139-146, 1998.
45. R. Champagnat, H. Pingaud, H. Alla, C. Valentin-Roubinet, J.-M. Flauss, and R. Valette, "A Gas Storage Example as a Benchmark for Hybrid Modelling", European Journal of Automation, vol. 32, no. 9-10, 1998.
46. D. T. Chao, M. Zhou, and D.T. Wang, "Multiple-Weighted Marked Graphs, " in Proc. IFAC 12th Triennal World Congress, Sydney (AU), vol. 1, pp. 259-262, 1993.
47. F. Charbonnier, Etude des conflicts dans les réseaux de Petri hybrides, Student Report, Laboratoire d'Automatique, INP Grenoble, September 1993.
48. G. Chiola, "On the Structural and Behavioural Characterization of P/T Nets", in Proc. 5th Int. Workshop on Petri Nets and Performance Models (PNPM '93), Toulouse (FR), pp. 66-75, 1993.
49. M. Chouikha, G. Decknatel, R. Drath, G. Frey, C. Müller, C. Simon, J. Thieme, and K. Wolter, "Petri Net-Based Descriptions for Discrete-Continuous Systems", Automatisierungstechnik, vol. 48, no. 9, pp. 415-425, 2000.
50. P. Chrétienne, "Exécutions contrôlées des réseaux de Petri temporisés", Technique et Science Informatiques, vol. 3, no. 1, pp. 23-31, 1984.
51. P. Chrétienne and J. Carlier, "Modelling Scheduling Problems with Timed Petri Nets", Proc. 4th European Workshop on Theory and Applications of Petri Nets, Toulouse (FR), September 1983.
52. G. Ciardo, D. Nicol, and K. S. Trivedi, "Discrete-event Simulation of Fluid Stochastic Petri Nets", Petri Nets & Performance Models (PNPM '97), Saint Malo (FR), pp. 217-225, June 1997.
53. G. Cohen, S. Gaubert, and J.-P. Quadrat, "Asymptotic Throughput of Continuous Timed Petri Nets", Conference on Decision and Control, New Orleans (US), 1995.
54. G. Cohen, S. Gaubert, and J.-P. Quadrat, "Algebraic System Analysis of Timed Petri Nets", Idempotency, Editor J. Gunawardena, Cambridge University Press, Cambridge (GB), 1998.
55. J. M. Colom and M. Silva, "Improving the Linearly Based Characterization of P/T Nets", 10th Int. Conference on Application and Theory of Petri Nets, Bonn (DE), June 1989.
56. F. Commoner, Deadlocks in Petri Nets, Applied Data Research Inc., Wakefields Mass., CA 7206-2311, 1972.
57. L. Dadda, "The Synthesis of Petri Nets for Controlling Purposes and the Reduction of their Complexity", Euromicro, North-Holland Publ., Amsterdam, 1976.
58. Y. Dallery, R. David, and X.-L. Xie, "Approximate Analysis of Transfer Lines with Unreliable Machines and Finite Buffers", IEEE Transactions on Automatic Control, vol. 39, no. 4, pp. 818-823, 1994.
59. Y. Dallery and S. B. Gershwin, "Manufacturing Flow Line Systems: A Review of Models and Analytical Results", Queueing Systems, Theory and Applications, vol. 12, pp. 3-94, 1992.
60. R. David, "Grafcet: A Powerful Tool for Specification of Logic Controllers", IEEE Trans. on Control Systems Technology, vol. 3, no. 3, pp. 253-268, 1995.
61. R. David, "Modeling of Hybrid Systems Using Continuous and Hybrid Petri Nets", Petri Nets & Performance Models (PNPM'97), Saint Malo (FR), pp. 47-58, June 1997.
62. R. David and H. Alla, "Continuous Petri Nets", 8th European Workshop on Application and Theory of Petri Nets, Zaragoza (ES), pp. 275-294, June 1987.
63. R. David and H. Alla, Du Grafcet aux réseaux de Petri, Hermès Pub., Paris, 1989; Second Edition 1992.
64. R. David and H. Alla, "Autonomous and Timed Continuous Petri Nets", 11th International Conference on Application and Theory of Petri Nets, Paris, pp. 367-386, June 1990. Then Lecture notes in Computer Science, Springer-Verlag, pp. 71-90, 1993.
65. R. David and H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems, Prentice Hall Int., London, 1992.
66. R. David and H. Alla, "On Hybrid Petri Nets", J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 11, pp. 9-40, 2001.
67. R. David and H. Alla, "Reachability Graph for Autonomous Continuous Petri Nets", in Proc. 1st Int. Symp. of Positive Systems (POSTA 03), Rome, Lecture Notes in Control and Information Sciences, vol. 294, pp. 63-70, Springer, 2003.
68. R. David and S. Caramihai, "Modeling of Delays on Continuous Flows Thanks to Extended Hybrid Petri Nets", Proc. Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM). Dortmund (DE), pp. 343-350, September 2000.
69. R. David and H. Deneux, "Deterministic Safe Interpreted Petri Nets -Relation with the Grafcet Model", 4th European Workshop on Theory and Applications of Petri Nets, Toulouse (FR), September 1983.
70. R. David and H. Deneux, "Sur le déterminisme du Grafcet". RAIRO Automatique, no. 3, pp. 223-240, 1983.
71. R. David, X.L. Xie, and Y. Dallery, "Properties of Continuous Models of Transfer Lines with Unreliable Machines and Finite Buffers". IMA J. of Mathematics Applied in Business and Industry, pp. 281-308, no. 6 , 1990.
72. I. Demongodin, Les réseaux de Petri lots : Modélisation des systèmes de production à haute cadence en régime transitoire, Doctorat thesis, Montpellier University, 1994.
73. I. Demongodin, N. Audry, and F. Prunet, "Batches Petri Nets", Proc. of Int. IEEE Conf. on Systems, Man, and Cybernetics, Le Touquet (FR), pp. 607-617, October 1997.
74. I. Demongodin, M. Caradec, and F. Prunet., "Fundamental Concepts of Analysis in Batches Petri Nets", Proc. of Int. IEEE Conf. on Systems, Man, and Cybernetics, San Diego (US), pp. 845-850, Oct. 1998.
75. I. Demongodin and N. T. Koussoulas, "Differential Petri Nets: Representing Continuous Systems in a Discrete Event World", IEEE Transactions on Automatic Control. Vol. 38, no. 4, pp. 573-579, 1998.
76. I. Demongodin and N. T. Koussoulas, "Differential Petri Net Models for Industrial Automation and Supervisory Control", IEEE Trans. on Systems, Man, and Cybernetics, vol. 36, no. 4, pp. 543-553, July 2008.
77. I. Demongodin and F. Prunet, "Extension of Hybrid Petri Nets to Accumulation Systems", in Proc. IMACS Int. Symp. on Mathematical Modelling ans Scientific Computing, Bangalore (IN), 1992.
78. J.-P. Denat, Conduite robuste d'ateliers à contraintes de temps de séjour : application à la galvanoplastie, Lecture Notes, transmitted personally in 2000.
79. H. Deneux, Contribution à l'étude des réseaux d' automates interconnectés, Doctorat thesis, Grenoble University (INPG), February 1983.
80. A. Di Febbraro and N. Sacco, "Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks", IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 111-116, 2003.
81. M. Di Mascolo, Y. Frein, Y. Dallery, and R. David, "A Unified Modeling of Kanban Systems using Petri Nets", International Journal of Flexible Manufacturing Systems, vol. 3, no. 3/4, pp. 275-307, 1991.
82. A. Doi, S. Fujita, H. Matsuno, M. Nagasaki, and S. Miyano, "Constructing Biological Pathway Models with Hybrid Functional Petri Nets", In Silico Biology 4, 2004.
83. D. Dubois and J.-P. Forestier, "Productivité et en-cours moyens d'un ensemble de deux machines séparées par un stock", RAIRO Automatique, vol. 16, no. 2, pp. 105-132, 1982.
84. E. Dubois, Sur les réseaux de Petri continus à vitesses maximales fonction du temps, constantes par paliers, Doctorat thesis, Grenoble University (INPG), June 1995.
85. E. Dubois and H. Alla, "Hybrid Petri Nets with a Stochastic Discrete Part", European Control Conference, Groningen (NL), June 1993.
86. E. Dubois, H. Alla, and R. David, "Les réseaux de Petri à vitesses fonction du temps", Revue d'Automatique, Productique et Informatique Industrielle, vol. 28, no. 5, pp. 425-443, June 1994.
87. E. Dubois, H. Alla, and R. David, "Continuous Petri Net with Maximal Speeds Depending on Time", Proc. 4th Int. Conf. on CIM & Automation Technology, Troy (US), pp 32-39, October 1994.
88. J. B. Dugan, K. S.Trivedi, R. M. Geist, and V. F. Nicola, "Extended Stochastic Petri Nets: Applications and Analysis", Proc. Performance '84, Paris, December 1984.
89. H. Elmqvist, F. E. Cellier, and M. Otter, "Object-Oriented Modeling of Hybrid Systems", Proc. of the European Simulation Symposium, Delft (NL), pp. 31-41, 1993.
90. S. Engell, "Modeling and Analysis of Hybrid Systems", Proc. 2nd IMACS MATHMOD Conference, Vienna (AT), pp. 17-31, 1997.
91. J. Esparza and M. Nielsen, "Decidability issues for Petri Nets -a survey", Bulletin of the EATCS, vol. 52, pp. 245-262, 1994.
92. A. Favela, H. Alla, and J.-M. Flauss, "Analysis of the Coupled Linear Hybrid Automata Dynamics", European Control Conference, Karlsruhe (DE), September 1999.
93. J.-M. Flauss, "Modélisation hybride de procédés batch", Journées d'étude sur l'analyse et la supervision des systèmes dynamiques hybrides, Lyon (FR), February 1996.
94. G. Florin and S. Natkin, "Les réseaux de Petri stochastiques", Technique et Science Informatiques, Vol. 4, no. 1, pp. 143-160, 1985.
95. S. Gaubert and A. Giua, "Petri Net Languages and Infinite Subsets of Nm" , Journal of Computer and System Sciences, vol. 59, pp. 373-391, 1999.
96. H. J. Genrich, H.-M. Hanisch, and K Wöllhaf, "Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets", Int. Conf. on Application and Theory of Petri Nets, Zaragoza (ES), Lecture notes in Computer Science 815, Springer-Verlag, pp. 278-297, 1994.
97. H. J. Genrich and K. Lautenbach, "The Analysis of Distributed Systems by Means of Predicate/Transition Nets, Semantics of Concurrent Computation", in Lecture Notes in Computer Sciences, vol. 70, G. Khan Ed., pp. 123-146, Springer Verlag 1979.
98. S. B. Gershwin and I. C. Schick, Continuous Model of an Unreliable Two-Stage Material Flow System With a Finite Interstage Buffer, Technical report MIT LIDS-R-1032, September 1980.
99. A. Giua and F. DiCesare, "Blocking and Controllability in Supervisory Control", IEEE Transactions on Automatic Control, vol. 39, no. 4, pp. 818-823, 1994.
100. M. M. Gomaa and S. Gentil, "Hybrid Industrial Dynamical System Supervision Via Hybrid Continuous Causal Petri Nets (HC2PNs)", Proc. IMACS/IEEE SMC, CESA '96, Lille (FR), pp. 285-290, 1996.
101. R. L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel (Coordinators), Hybrid Systems, Lecture notes in Computer Science 736, Springer-Verlag, 1993.
102. GREPA, Le Grafcet, de nouveaux concepts, Editions Cepadues, Toulouse 1985, GREPA: Groupe Equipement de Production automatisée, leaded by J.-M. Toulotte.
103. M. Hack, Analysis of Production Schemataby Petri Nets, M. S. thesis, Dep. Electrical Engineering, MIT, Cambridge, MA, 1972.
104. M. Hack, Extended State-Machine Allocatable Nets, an Extension of Free-Choice Petri Nets Results, Comput. Struct. Gr. Memo 78-1, MIT Project MAC, Cambridge, MA, 1974.
105. M. Hack, "Petri Nets Languages" Extended State-Machine Allocatable Nets, an Extension of Free-Choice Petri Nets Results, Comput. Struct. Gr. Memo 124, MIT Project MAC, Cambridge, MA, 1975.
106. S. Haddad, L. Recalde, and M. Silva, "On the Computational Power of Timed Differentiable Petri Nets", in 4th Int. Conf Formal Modeling and Analysis of Petri Nets, Paris, vol. 4202 of LNCS, Springer, pp. 320-244, 2006.
107. H.-M. Hanisch, "Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control", Int. Conf. on Application and Theory of Petri Nets, Chicago (US), Lecture notes in Computer Science 691, Springer-Verlag, pp. 282-299, 1993.
108. Z. Hanzálek, "Continuous Petri Nets and Polytopes", Proc. of Int. IEEE Conf. on Systems, Man, and Cybernetics, Washington, October 2003.
109. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic Model Checking for Real-Time Systems", Information and Computation, vol. 111, no. 2, pp. 193-244, 1994.
110. M. A. Holliday and M. K. Vernon, "A Generalized Timed Petri Net Model for Performance Analysis", IEEE Trans. on Software Engineering, vol. 13, no. 12, pp. 1297-1310, 1987.
111. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri Net Methods for Controlled Discrete Event Systems", J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 7, pp. 151-190, 1997.
112. A. W. Holt and F. Commoner, Events and Conditions, Applied Data Research Inc., New York, 1970.
113. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, MenloPark, CA, 1979.
114. G. Horton, V. Kulkani, D. Nicol, and K. S. Trivedi, "Fluid Stochastic Petri Nets: Theory, Application and Solution", European Journal of Operational Research, vol. 105, pp. 184-201, 1998.
115. P. Huber, K. Jensen, and R. M. Shapiro, "Hierarchies in Coloured Petri Nets, " 10th International Conference on Theory and Applications of Petri Nets, Bonn (DE), June 1989.
116. IEC, International Electrotechnic Commission, Preparation of Function Charts for Control Systems, publication 848, 1988.
117. IEC, International Electrotechnic Commission, Programmable Controllers, Part 3: Programming Languages, publication 1131-1, 1992.
118. IEC, International Electrotechnic Commission, Grafcet Specification Language for Sequential Function Charts, publication 60848, 2002.
119. K. Jensen, "Coloured Petri Nets and the Invariant Method", Theorical Computer Sciences, vol. 14, pp. 317-336, 1981.
120. K. Jensen and G. Rosenberg, High-level Petri Nets -Theory and Application, Springer Verlag, Berlin, 1991.
121. J. Júlvez, E. Jiménez, L. Recalde, and M. Silva, "On Observability and Design of Observers in Timed Continuous Petri Net Systems", IEEE Trans. on Autom. Sci. & Engin., vol. 5, no. 3, pp. 532-537, July 2008.
122. J. Júlvez, L. Recalde, and M. Silva, "On Reachability in Autonomous Continuous Petri Net Systems", in Proc. of the 24th Int. Conf. on Applications and Theory of Petri Nets, Springer, Eindhoven (NL), vol. 2679, pp. 221-240, 2003.
123. J. Júlvez, L. Recalde, and M. Silva, "Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets", IEEE Transactions on Automatic Control, vol. 51, no. 9, pp. 1472-1481, 2006.
124. T. Kaisai and R. Miller, Homorphisms Between Models of Parallel Computation, IBM Research Report RC 7796 (33742), 1979.
125. R. Kara, J.-J. Loiseau, and S. Djennoune, "Quantitative Analysis of Continuous Weighted Marked Graphs", Nonlinear Analysis: Hybrid Systems, vol. 2, no. 4, pp. 1010-1020, Elsevier, November 2008.
126. R. Kara, M. Ahmane, J.-J. Loiseau, and S. Djennoune, "Constrained Regulation of Continuous Petri Nets", Submitted for publication.
127. R. Karp and R. Miller, "Parallel Program Schemata", Journal of Computer and System Sciences, vol. 3, no. 4, pp. 167-195, 1969.
128. J. G. Kemeny and J. L. Snell, Finite Markov Chains, Springer Verlag, Berlin, 1976.
129. W. Khansa, Réseaux de Petri P-temporels : contribution à l'étude des systèmes à événements discrets, Doctorat thesis, University of Savoie, Annecy (FR), March 1997.
130. W. Khansa, J.-P. Denat, and S. Collart-Dutilleul, "P-Time Petri Nets for Manufacturing Systems", Int. Workshop on Discrete Event Systems (Wodes '97), Edinburg (GB), pp. 94-102, August 1996.
131. W. E. Kluge and K. Lautenbach, "The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes", IEEE Trans. on Computers, vol. C-31, no. 3, pp. 194-207, March 1982.
132. S. R. Kosaraju, "Decidability of Reachability in Vector Addition System", in Proc. 14th Annual Symposium Theory Computing, San Francisco (US), pp. 267-281, 1982.
133. C. Lansade and P. Tayrac, Simulation mixte, ANVAR Project TLS 0089, Pau (FR), January 1997.
134. M. Latteux, "Synchronisation de processus", Journal RAIRO Computer Science Series, vol. 14, no. 2, 1980.
135. K. Lautenbach, H. A. Schmid, "Use of Petri Nets for Proving Correctness of Concurrent Process Systems", Proc. IFIP Congress 74, North-Holland Publ., Amsterdam, pp. 187-191, 1974.
136. J. Le Bail, Un nouveau modèle continu : les réseaux de Petri continus asymptotiques, Research Report 91-22, Laboratoire d'Automatique, INP Grenoble, April 1991.
137. J. Le Bail, Notion de séquence de franchissement élémentaire : Application à l'étude des réseaux de Petri avec conflicts, Research Report 92-019, Laboratoire d'Automatique, INP Grenoble, February 1992.
138. J. Le Bail, H. Alla, and R. David, "Hybrid Petri Nets", Proc. European Control Conference, Grenoble (FR), July 1991.
139. J. Le Bail, H. Alla, and R. David, "Asymptotic Continuous Petri Nets: An Efficient Approximation of Discrete Event Systems", Proc. 1992 IEEE Int. Conf. on Robotics & Automation, Nice (FR), pp. 1050-6, May 1992.
140. J. Le Bail, H. Alla, and R. David, "Réseaux de Petri Hybrides", Technique et Science Informatiques, vol. 11, no. 5, pp. 95-120, 1992.
141. J. Le Bail, H. Alla, and R. David, "Asymptotic Continuous Petri Nets", J. of Discrete Event Dynamic Systems: Theory and Applications, no. 2 , pp. 235-263, 1993.
142. D. Lefebvre, "Feedback Control Design for Manufacturing Systems Modeled by Continuous Petri Nets", Int. J. Syst. Sci., vol. 30, no. 6 , pp. 591-600, 1999.
143. D. Lefebvre, E. Leclercq, F. Druaux, and P. Thomas, "Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach", IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 229-234, 2003.
144. P. Le Guernic, A. Benveniste, P. Bournai, and T. Gauthier, "SIGNAL: A Data Flow Oriented Language for Signal Processing", IEEE Trans. Acoust., Speech, Signal Processing, vol. ASSP-34(2), pp. 362-374, April 1986.
145. Y. E. Lien, "A Note on Transition Systems", J. Information Science, Vol. 10, no. 4, pp. 251-265, 1976.
146. C. Mahulea, A. Giua, L. Recalde, C. Seatzu, and M. Silva, "Optimal Model Predictive Control of Timed Continuous Petri Nets", IEEE Trans. on Automatic Control, vol. 53, no. 7, pp. 1731-1735, August 2008.
147. C. Mahulea, A. Ramírez-Treviño, L. Recalde, and M. Silva, "Steady-State Control Reference and Token Conservation Laws in Timed Continuous Petri Nets Systems", IEEE Trans. on Automation Science and Engineering, vol. 5, no. 2, pp. 307-320, April 2008.
148. C. Mahulea, L. Recalde, and M. Silva, "Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems", Proc. of IFAC World Congress, Seoul (KOR), pp. 519-524, July 2008.
149. C. Mahulea, L. Recalde, and M. Silva, "Basic Server Semantics an Performance Monotonicity of Continuous Petri Nets", Discrete Event Dynamic Systems: Theory and Applications, vol. 19, no. 2, pp. 189-212, June 2009.
150. O. Maler (Coordinator), Hybrid and Real Time Systems, Lecture notes in Computer Science 1201, Springer-Verlag, 1997.
151. O. Maler, Z. Manna, and A. Pnueli, "From Timed To Hybrid Systems", Proc. REX Workshop "Real-Time: Theory and Applications", Lecture notes in Computer Science 600, Springer-Verlag, pp. 447-484, 1992.
152. A. Mandelbaum and H. Chen, "Discrete Flow Networks: Bottleneck Analysis and Fluid Approximations" Math. Operations Research, vol. 16, pp. 408-446, 1991.
153. J. Martinez, P. Muro, and M. Silva, "Modeling, Validation and Software Implementation of Production Systems using High Level Petri Nets", Proc. of IEEE International Conference on Robotics and Automation, Raleigh (US), March 1987.
154. J. Martinez and M. Silva, "A simple and Fast Algorithm to obtain all Invariants of a Generalized Petri Net", 2nd European Workshop on Petri Nets Theory and Applications, Informatik Fachberichte 52, pp. 301-310, Springer Verlag, Berlin, 1982.
155. H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano, "Hybrid Petri Net Representation of Gene Regulatory Network", Pacific Symp. on Biocomputing 5, pp. 338-349, 2000.
156. E. W. Mayr, "An Algorithm for the General Petri Net Reachability Problem", in Proc. 13th Annual Symposium Theory Computing, pp. 238-246, 1981.
157. G. Memmi, Fuites et semi-flots dans les réseaux de Petri, Docteur-Ingénieur thesis, University Pierre-et-Marie-Curie, Paris, Dec. 1978.
158. G. Memmi and R. Martin, "Specification and Validation of Sequential Processes Communicating by FIFO Channels", 4th Int. Conference on Software Engineering for Telecommunication Switching Systems, I.E.E. Worwick, July 1981.
159. G. Memmi and G. Roucairol, "Linear Algebra in Net Theory" Proc. of Advanced Course on General Net Theory of Processes and Systems, Hambourg 1979; W. Bauer Ed., Springer Verlag LNCS 84, 1980.
160. P. M. Merlin, "A Methodology for the Design and Implementation of Communication Protocols", IEEE Trans. on Communication, vol. 24, no. 6, pp. 614-621, 1976.
161. P. M. Merlin and D. J. Farber, "Recovery of Communication Protocols -Implication of a Theoretical Study", IEEE Trans. on Communication, vol. 24, no. 9, pp. 1036-1043, 1976.
162. M. Mezghani, Modélisation et évaluation de performances d'un réseau du réseau de distribution de la ville d'Aix-Les-Bains, Student Report, Laboratoire d'Automatique, INP Grenoble, June 1994.
163. M. Moalla, Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du Grafcet et des réseaux de Petri, Thèse d'Etat, Grenoble University (INPG), July 1981.
164. M. Moalla, "Réseaux de Petri interprétés et Grafcet", Technique et Science Informatiques, Vol. 14, no. 1, pp. 17-30, 1985.
165. M. Moalla, Personal communication, 2001.
166. M. Moalla and R. David, "Extension du Grafcet pour la représentation de systèmes temps réel complexes", Journal RAIRO, Automatic Control Series, vol. 15, no. 2, pp. 159-192, 1981.
167. M. Moalla, J. Pulou, and J. Sifakis, "Réseaux de Petri synchronisés", Journal RAIRO, Automatic Control Series, vol. 12, no. 2, pp. 103-130, 1978.
168. S. Mocanu and C. Commault, "Sparse Representations of Phase-Type Distributions", Commun. Stat., Stochastic Models vol. 15, no. 4 , pp. 759-778, 1999.
169. M. K. Molloy, "Performance Analysis Using Stochastic Petri Nets", IEEE Trans. on Computers, vol. C-31, no. 9, pp. 913-917, March 1982.
170. M. Mostefaoui, I. Demongodin, and N. Sauer, "Final Marking of Continuous Neutral Weighted Marked Graphs", Proc. of IEEE Intern. Symposium on Intelligent Control, México, pp. 211-218, Sept. 2001.
171. C. Müller and H. Rake, "A Petri Net-State-Model for the Analysis and the Control Synthesis of Hybrid Technical Systems", Proc. Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM). Dortmund (DE), pp. 331-336, September 2000.
172. C. Munteanu, S. Caramihai, and J. Culita, "Modular Approach Based Decision Support for Communication Systems", Industrial Simulation Conference, Delft (NL), pp. 345-349, June 2007.
173. C. Munteanu, S. Caramihai, C. Odubasteanu, and F. Antonescu, "Development and Decision Support System Modelled with Hybrid Petri Nets", Proc. World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando (USA), pp. 173-178, July 2008.
174. C. Munteanu, R. David and H. Alla, "Algorithmic Speed Calculation for a Timed Continuous Petri Nets", WODES '04, Reims (FR), September 2004.
175. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
176. S. Natkin, Les réseaux de Petri stochastiques et leur application à l'évaluation de performances des systèmes informatiques, Thèse de Doctorat, CNAM, Paris, June 1980.
177. A. Nerode and Wolf Kohn, "Models for Hybrid Systems: Automata, Topologies, Stability", Workshop on Theory of Hybrid Systems, Lecture notes in Computer Science 736, Springer-Verlag, pp. 317-356, 1993.
178. M. F. Neuts, Matrix Geometric Solutions in Stochastic Models, Johns Hopkins University Press., Baltimore (US), 1981.
179. X. Nicollin, J. Sifakis, and S. Yovine, "From ATP To Timed Graphs and Hybrid Systems", Acta Informatica, vol. 30, pp. 181-202, 1993.
180. G. J. Olsder, "Synchronized Continuous Flow Systems" in Discrete Event Systems: Modeling and Control. Editors S. Balemi, P. Kozak, & R. Smadinga, Birkhäuser Verlag, Basel, 1993.
181. P. Orth and Dirk Abel, "Hybrid System Analysis Using a Parameterised Evolution Graph", IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 343-348, 2003.
182. J. L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, Engelwood Cliffs, NJ, 1981.
183. S. Pettersson and B. Lennartson, "Hybrid Modelling Focused on Hybrid Petri Nets", European Workshop on Hybrid Systems, Grenoble (FR), pp. 303-309, 1995.
184. C. A. Petri, Communication with Automata, Supplement 1 to Technical Report RADC-TR-65-337, N.Y., 1965. Translation by C.F. Greene of Kommunikation mit Automaten, PhD Dissertation, Univ. of Bonn, 1962.
185. C. A. Petri, Interpretation of Net Theory, Interner Bericht ISF-75-07, Saint Augustin, Bonn; Second Edition, December 1976.
186. C. A. Petri, "Introduction to General Net Theory", in Lectures Notes in Computer Science: Net Theory and Applications, pp. 1-19, 1979.
187. L. W. Philips and P. S. Hunger, "Mathematical Programming Solution of a Hoist Scheduling Program", AIIE Transactions, pp. 219-225, June 1976.
188. Y. Quénec'hdu, H. Guéguen, and J. Buisson, "Les systèmes dynamiques hybrides : une nouvelle problématique", Proc. Automation of Mixed Process: Dynamic Hybrid Systems (ADPM), Brussels, pp. 1-8, 1994.
189. C. V. Ramamoorthy and G. S. Ho, "Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets", IEEE Trans. on Software Engineering, vol. 6, no. 5, pp. 440-449, 1980.
190. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D., MIT (US), 1973.
191. R. R. Razouk and C. V. Phelps, "Performance Analysis Using Timed Petri Nets", in Proc. Int. Conf. Parallel Processing, pp. 126-129, August 1984.
192. L. Recalde, S. Haddad, and M. Silva, "Continuous Petri Nets: Expressive Power and Decidability Issues", in Proc. of the 5th Int. Symp. on Automated Technology for Verification and Analysis, Tokyo, vol. 4762 of LNCS, Springer, pp. 302-377, 2007.
193. L. Recalde, C. Mahulea, and M. Silva, "Improving Analysis and Simulation of Continuous Petri Nets", Proc. of IEEE Int. Conf. on Automation Science and Engineering, Shanghai (CHN), pp. 9-14, October 2006.
194. L. Recalde and M. Silva, "PN Fluidification Revisited: Semantics and Steady State", Journal Européen des Systèmes Automatisés, vol. 35, no. 4, pp. 435-449, 2001.
195. L. Recalde, E. Teruel, and M. Silva, "Autonomous Continuous P / T Systems", 20th Int. Conference on Application and Theory of Petri Nets, Williamsburg (US), Springer, pp. 108-126, June 1999.
196. W. Reisig, Petri Nets: an Introduction, Springer-Verlag, Berlin, 1985.
197. C. Reutenauer, Aspects mathématiques des réseaux de Petri, Masson, Paris, 1989.
198. A. Robinson, Non Standard Analysis, North-Holland, Amsterdam, 1966. Printed again: Princeton University Press, 1996.
199. G. Roucairol, "Vers une caractérisation de la synchronisation des processus parallèles sur les files et les piles", 1st European Conference on Parallel ans Distributed Processes, Toulouse (FR), 1979.
200. J.-M. Salanskis, Le constructivisme non standard, Presse Universitaires du Septentrion, Paris, 1999.
201. G. W. Shapiro and L. W. Nuttle, "Hoist Scheduling for a PCB Electroplating Facility", IIE Transactions, vol. 20, no. 2, pp. 157-167, June 1989.
202. C. Sibertin-Blanc, "High Level Petri Nets with Data Structure", 6th European Workshop on Application and Theory of Petri Nets, Finland, June 1985.
203. J. Sifakis, J., "Use of Petri Nets for Performance Evaluation". In Measuring, Modelling and Evaluating Computer Systems, H. Beilner and E. Gelenbe Eds., North-Holland Pub., Amsterdam, pp. 75-93, 1977.
204. J. Sifakis, "Structural Properties of Petri Nets", Mathematical Foundations of Computer Science, J. Winkowski Ed., Springer V., pp. 474-483, 1978.
205. J. Sifakis, Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique, Thèse d'Etat, Grenoble University (INPG), 1979.
206. M. Silva, Las redes de Petri en la Automatica y la Informatica, Ed. AC, Madrid, 1985.
207. M. Silva, "Introducing Petri Nets", in F. DiCesare, G. Harhalakis, J.-M. Proth, M. Silva, and F. Vernadat, Practice of Petri Nets in Manufacturing Systems, Chapman and Hall, London, 1993.
208. M. Silva and J. M. Colom, "On the Computation of Structural Synchronic Invariants in P/T Nets", Advances in PN '88 (G. Rosenberg Ed.), LNCS 340, pp. 346-417, Springer-Verlag, Berlin, 1989.
209. M. Silva, J. Martinez, P. Ladet and H. Alla, "Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets", Technique et Science Informatiques, vol. 14, no. 1, 1985.
210. M. Silva and L. Recalde, "Petri Nets and Integrality Relaxations: A View of Continuous Petri Net Models", IEEE Trans. on Systems, Man, and Cybernetics, vol. 32, no. 4, pp. 314-327, 2002.
211. M. Silva and L. Recalde, "On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models", IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 9-20, 2003. Improved version in Annual Reviews in Control 28, pp. 253-266, 2004.
212. M. Silva and L. Recalde, "Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control", Proc. of 26th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency, Springer-Verlag, 2005.
213. M. Silva and L. Recalde, "Redes de Petri continuas: expresividad análisis y control de una clase de sistemas lineales conmutados", Revista Iberamericana de Automática e Informatica Industrial, 2007.
214. M. Silva, L. Recalde, J. Júlvez, C. Mahulea, and R. Vásquez, "Continuous and Hybrid Petri Nets: The GISED perspective", Report written after the tutorial in honor of Prof. Laura Recalde providing a structured view of works on this topic produced by members of the GISED (Grupo de Ingeniera de Sistemas de Eventos Discretos, Zaragoza) with cooperation of colleagues of different research centers, July 2009.
215. M. Silva and E. Teruel, "A System Theory Perspective of Discrete Event Dynamic Systems: The Petri Net Paradigm", Proc. IMACS/IEEE SMC, CESA '96, Lille (FR), pp. 1-30, 1996.
216. M. Silva, E. Teruel, and J. M. Colom, "Linear Algebraic and Linear Programming Techniques for the Analysis of the Net Systems", Lectures in Petri Nets I: Basic Models, Lecture notes in Computer Science 1491, Springer-Verlag, pp. 309-373, 1998.
217. Special Issue on Hybrid Systems, Theoretical Computer Science, vol. 138, no. 1, A. Pnueli and J. Sifakis Eds., 1995.
218. Special Issue on Hybrid Petri Nets, J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 11, A. Di Febbraro, A. Giua, and G. Menga Eds., 2001.
219. R. S. Sreenivas, B. H. Krogh, "On Condition/Event Systems with Discrete State Realizations", Discrete Event Dynamic Systems, vol. 1 , no. 2, pp. 209-236, 1991.
220. I. Suzuki and T. Murata, "A Method for Stepwise Refinement and Abstraction of Petri Nets", Journal of Computer and System Sciences, no. 27, pp. 51-76, 1983.
221. M. Svádová and Z. Hanzálek, "Modeling of Systems with Delays using Hybrid Petri Nets", IFAC Conf. on Control Systems Design, Bratislava (SK), 2003.
222. M. Svádová and Z. Hanzálek, "An Algorithm for the Evolution Graph of Extended Hybrid Petri Nets", IEEE Int. Conf. on Systems, Man & Cybernetics, Hague, October 2004.
223. L. Tavernini, "Differential Automata and their Discrete Simulation", Nonlinear Analysis, Theory, Methods, and Applications, vol. 11, no. 6 , pp. 665-683, 1987.
224. C. Terracol and R. David, "An Aggregation Method for Performance Evaluation of Transfer Lines with Unreliable Machines and Finite Buffers", IEEE Int. Conf. on Robotics and Automation, Raleigh (US), 1987.
225. E. Teruel, P. Chrzatowski-Wachtel, J. M. Colom, and M. Silva, "On Weighted T-Systems, " in Proc. Int. Conf. of Applications of Petri Nets, Sheffield, Lecture Notes in Computer Science, vol. 616, pp. 348-367, Springer, 1992.
226. E. Teruel, G. Franceschinis, and M. Silva, "Untimed Petri Nets. Performance Models for Discrete Event Systems with Synchronization", in HCM-MATCH Adv. Schools, G. Balbo and M. Silva Eds., Dep. Leg. 2165/98, pp. 27-75, 1998.
227. E. Teruel and M. Silva, "Liveness and Home States in Equal Conflict Systems, " in Application and Theory of Petri Nets, M. A. Marsan Ed., Lecture Notes in Computer Science, vol. 815, pp. 415-432, Springer, Berlin, 1993.
228. E. Teruel and M. Silva, "Structure Theory of Equal Conflict Systems", Theoretical Computer Science, vol. 153, pp. 271-300, Elsevier, Amsterdam, 1996.
229. J. M. Toudic, "Algorithmes d'algèbre linéaire pour l'analyse structurelle des réseaux de Petri", Revue technique Thomson-CSF, vol. 14, no. 1, pp. 137-155, 1982.
230. K. S. Trivedi and V. G. Kulkani, "FSPNs: Fluid Stochastic Petri Nets", 14th Int. Conference on Application and Theory of Petri Nets, Chicago (US), June 1993.
231. S. Troncale, J.-C. Comet, and G. Bernot, "Validation of Biological Models with Temporal Logic and Timed Hybrid Petri Nets", IEEE Conf.: Engineering in Medicine and Biology Conference, Lyon (FR), pp. 4603-4608, August 2007.
232. S. Troncale, J.-C. Comet, and G. Bernot, "Enzymatic Competition: Modeling and Verification with Timed Hybrid Petri Nets", Pattern Recognition, vol. 42, no. 4, pp. 562-566, 2009.
233. B. Tuffin, D. S. Chen, and K. S. Trivedi, "Comparison of Hybrid Systems and Fluid Stochastic Petri Nets", J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 11, pp. 77-95, 2001.
234. C. Valentin-Roubinet, "Modelling of Hybrid Systems: DAE Supervised by Petri Nets, The Example of Gas Storage", Proc. Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Reims (FR), pp. 142-149, 1998.
235. R. Valette, "Analysis of Petri Nets by Stepwise Refinements", Journal of Computer and System Sciences, no. 18, pp. 35-46, 1979.
236. C. R. Vásquez, A. Ramírez, L. Recalde, and M. Silva, "On Controllability of Timed Continuous Petri Nets", Hybrid Systems: Computation and Control, LNCS 4981, Springer, pp. 528-541, 2008.
237. C. R. Vásquez, A. M. Mangini, A. M. Mihalache, L. Recalde, and M. Silva, "Timing and Deadlock-Freeness in Continuous Petri Nets", Proc. of IFAC World Congress, Seoul (KOR), pp. 3186-3191, July 2008.
238. R. Weiting, "Hybrid High-Level Nets", Proceedings of the Winter Simulation Conference, Coronado (US), pp. 848-855, 1996.
239. R. Weiting, "Modeling and Simulation of Hybrid Systems Using Hybrid High-Level Nets", Proceedings of the 8th European Simulation Symposium, Genova (IT), pp. 158-162, 1996.
240. R. Weiting and M. Sonnenschein, "Extended High-Level Nets for Modeling Hybrid Systems", Proc. of the IMACS Symposium on Systems Analysis and Simulation, Berlin, pp. 259-262, 1995.
241. J. Xu, L. Recalde, and M. Silva, "Tracking Control of Timed Continuous Petri Nets Systems under Infinite Servers Semantics", Proc. of IFAC World Congress, Seoul (KOR), pp. 3192-3197, July 2008.
242. J. Zaytoon (Coordinator), Systèmes Dynamiques Hybrides, Hermès Science Pub., Paris, 2001.
243. N. Zerhouni and H. Alla, "Dynamic Analysis of Manufacturing Systems Using Continuous Petri Nets", IEEE International Conference on Robotics and Automation, Cincinnati, vol. 2, pp. 1070-1075, 1990.
244. B. Zimmern, "Etude de la propagation des arrêts aléatoires dans les chaînes de production", Revue de Statistique Appli., vol. 4, pp. 85-104, 1956.
245. W. M. Zuberek, "Timed Petri Nets and Preliminary Performance Evaluation", in Proc. 7th Ann. Symp. Computer Architecture, La Baule (FR), pp. 88-96, May 1980.
246. W. M. Zuberek, "Performance Evaluation Using Timed Petri Nets", in Proc. Int. Workshop on Timed Petri Nets, Torino (IT), IEEE-CS Press, pp. 272-278, July 1985.