Discrete, continuous, and hybrid petri nets

Discrete, Continuous, and Hybrid Petri Nets

Volumn , Issue , 2005, Pages 1-524

  David, René ^a   Alia, Hassane ^a  

^a ENSIEG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84891444515     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/b138130     Document Type: Book

References (215)

1. AFCET, "Normalisation de la representation du cahier des charges d'un automatisme logique", Final report of AFCET Commission, August 1977, published in the /. 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. Alia, Reseaux de Petri colores et reseaux de Petri continus: Application a I'etude des sytemes a evenements discrets, These d'Etat, Grenoble University (INPG), June 1987.
7. H. Alia, J.-B. Cavaille, J. Le Bail, and G. Bel, "Les systemes de production par lots: une approche discret-continu utilisant les reseaux de Petri hybrides", Proc. Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Paris, January 1992.
8. H. Alia 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. Alia 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. Alia, "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. Alia, "From Hybrid Petri Nets to Automata", Journal Europeen des Systemes Automatises, vol. 32, no9-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. P. Antsalkis, W. Khone, A. Nerode, and S. Sastry (Coordinators), Hybrid Systems II, Lecture notes in Computer Science 999, Springer-Verlag, 1995.
15. 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.
16. N. Audry, Modelisation et simulation des systemes de production a haute cadence avec convoyage: reseaux de Petri lots commandes generiques, Doctorat thesis, Montpellier University, 1995.
17. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linearity, Wiley, 1992.
18. 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.
19. F. Balduzzi, A. Giua, and G. Menga, "Hybrid Stochastic Petri Nets: Firing Speed Computation and FMS Modelling", WODES '98, Gagliari (IT), 1998.
20. 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.
21. 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 & Computation), http://www.dii.unisi.it/-hybrid/cc/, Parades, Rome, 2003.
22. A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems", IEEE Proceedings, vol. 79, no 9, September 1991.
23. C. Berge, Graphes et hypergraphes, Dunod, Paris, 1970.
24. G. Berry, P. Couronne, and G. Gonthier, "Programmation synchrone des systemes reactifs: le langage ESTEREL", Technique et Science Informatiques, vol. 6, no4, 1987.
25. G. Berthelot, Transformations et analyse de reseaux de Petri: application aux protocoles, These d'Etat, Paris VI University, 1983.
26. G. Berthelot, "Transformations des reseaux de Petri", Technique et Science Informatiques, vol. 14, no 1, pp. 91-101, 1985.
27. 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.
28. M. Bitam and H. Alia, "Modeling of a Communication Network under TCP/IP Protocol Using Hybrid Petri Nets", IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 105-110, 2003.
29. J. Boussin, "Synthesis and Analysis of Logic Automation Systems", 7th Triennal World Congress, Helsinki, Pergamon Press, 1978.
30. G. W. Brams, Reseaux de Petri: theorie et pratique, Masson Pub., Paris, 1983.
31. 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.
32. 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, November 1990.
33. 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, Birkhauser, Boston, pp. 29-53, 1993.
34. J. A Buzacott and L. E. Hanifin, "Models of Automatic Transfer Lines with Inventory Banks- A Review and Comparison", HE Transactions, vol. 10, pp. 197-207, 1978.
35. W. H. Byrn, Sequential Processes, Deadlocks, and Semaphores Primitives, Tech. Report 7-75, Harvard Univ., Cambridge, MA, 1975.
36. 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.
37. J. Campos and M. Silva, "Structural Techniques and Performance Bounds of Stochastic Petri Net Models. Design Methods Based on Nets (DEMON)", Advances in PN '92, G. Rosenberg Ed., LNCS 607, pp. 352-391, Springer-Verlag, Berlin, 1992.
38. J. Cardoso, R. Valette, and D. Dubois, "Fuzzy Petri Nets: An Overview", in Proc. 13th IFAC World Congress, San Francisco (US), July 1996.
39. J. Carroll, Theory of Finite Automata, Prentice Hall, Engelwood Cliffs, NJ, 1989.
40. P. Caspi, Personal communication, 1987.
41. 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.
42. F. E. Cellier, Combined Continuous I Discrete System Simulation by Use of Digital Computer, Dissertation, Diss ETH 6483, Swiss Federal Institute of Technology Zurich (CH), 1979.
43. 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.
44. R. Champagnat, H. Pingaud, H. Alia, 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.
45. 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.
46. F. Charbonnier, Etude des conflicts dans les reseaux de Petri hybrides, Student Report, Laboratoire d'Automatique, INP Grenoble, September 1993.
47. 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.
48. M. Chouikha, G. Decknatel, R. Drath, G. Frey, C. Miiller, C. Simon, J. Thieme, and K. Wolter, "Petri Net-Based Descriptions for Discrete-Continuous Systems", Automatisierungstechnik, vol. 48, no 9, pp. 415-425, 2000.
49. P. Chretienne, "Executions controlees des reseaux de Petri temporises", Technique et Science Informatiques, vol. 3, nol, pp. 23-31, 1984.
50. P. Chretienne 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.
51. 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.
52. G. Cohen, S. Gaubert, and J.-P. Quadrat, "Asymptotic Throughput of Continuous Timed Petri Nets", Conference on Decision and Control, New Orleans (US), 1995.
53. 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.
54. J. M. Colom and M. Silva, "Improving the Linearly Based Characterization of P/T Nets", Wh Int. Conference on Application and Theory of Petri Nets, Bonn (DE), June 1989.
55. F. Commoner, Deadlocks in Petri Nets, Applied Data Research Inc., Wakefields Mass., CA 7206-2311, 1972.
56. L. Dadda, "The Synthesis of Petri Nets for Controlling Purposes and the Reduction of their Complexity", Euromicro, North-Holland Publ., Amsterdam, 1976.
57. 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.
58. 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.
59. 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.
60. 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.
61. R. David and H. Alia, "Continuous Petri Nets", 8th European Workshop on Application and Theory of Petri Nets, Zaragoza (ES), pp. 275-294, June 1987.
62. R. David and H. Alia, Du Grafcet aux reseaux de Petri, Hermes Pub., Paris, 1989; Second Edition 1992.
63. R. David and H. Alia, "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.
64. R. David and H. Alia, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems, Prentice Hall Int., London, 1992.
65. R. David and H. Alia, "On Hybrid Petri Nets", J. of Discrete Event Dynamic Systems: Theory and Applications, vol. 11, pp. 9-40, 2001.
66. R. David and H. Alia, "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.
67. 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.
68. 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.
69. R. David and H. Deneux, "Sur le determinisme du Grafcet". RAIRO Automatique, no 3, pp. 223-240, 1983.
70. 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, no6, 1990.
71. I. Demongodin, Les reseaux de Petri lots: Modelisation des systemes de production a haute cadence en regime transitoire, Doctorat thesis, Montpellier University, 1994.
72. 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.
73. 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.
74. I. Demongodin and N. T. Koussoulas, "Differential Petri Nets: Representing Continuous Systems in a Discrete Event World", IEEE Transactions on Automatic Control. Vol. 38, no4, pp. 573-579, 1998.
75. 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.
76. J.-P. Denat, Conduite robuste d'ateliers a contraintes de temps de sejour: application a la galvanoplastie, Lecture Notes, transmitted personally in 2000.
77. H. Deneux, Contribution a Vetude des reseaux d' automates interconnects, Doctorat thesis, Grenoble University (INPG), February 1983.
78. A. Di Febbraro and N. Sacco, "Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks", 1FAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 111-116, 2003.
79. 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, vo\. 3, no 3/4, pp. 275-307, 1991.
80. D. Dubois and J.-P. Forestier, "Productivite et en-cours moyens d'un ensemble de deux machines separees par un stock", RAIRO Automatique, vol. 16, no2, pp. 105-132, 1982.
81. E. Dubois, Sur les reseaux de Petri continus a vitesses maximales fonction du temps, constantes par paliers, Doctorat thesis, Grenoble University (INPG), June 1995.
82. E. Dubois and H. Alia, "Hybrid Petri Nets with a Stochastic Discrete Part", European Control Conference, Groningen (NL), June 1993.
83. E. Dubois, H. Alia, and R. David, "Les reseaux de Petri a vitesses fonction du temps", Revue d'Automatique, Productique et Informatique Industrielle, vol. 28, no 5, pp. 425-443, June 1994.
84. E. Dubois, H. Alia, 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.
85. 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.
86. 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.
87. S. Engell, "Modeling and Analysis of Hybrid Systems", Proc. 2nd IMACS MATHMOD Conference, Vienna (AT), pp. 17-31, 1997.
88. A. Favela, H. Alia, and J.-M. Flauss, "Analysis of the Coupled Linear Hybrid Automata Dynamics", European Control Conference, Karlsruhe (DE), September 1999.
89. J.-M. Flauss, "Modelisation hybride de procedes batch", Journees d'etude sur Vanalyse et la supervision des systemes dynamiques hybrides, Lyon (FR), February 1996.
90. G. Florin and S. Natkin, "Les reseaux de Petri stochastiques", Technique et Science Informatiques, Vol. 4, no 1, pp. 143-160, 1985.
91. S. Gaubert and A. Giua, "Petri Net Languages and Infinite Subsets of AT"", Journal of Computer and System Sciences, vol. 59, pp. 373-391, 1999.
92. H. J. Genrich, H.-M. Hanisch, and K Wbllhaf, "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.
93. 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, .
94. 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.
95. A. Giua and F. DiCesare, "Blocking and Controllability in Supervisory Control", IEEE Transactions on Automatic Control, vol. 39, no 4, pp. 818-823, 1994.
96. M. M. Gomaa and S. Gentil, "Hybrid Industrial Dynamical System Supervision Via Hybrid Continuous Causal Petri Nets (HC2PNs)", Proc. IMACSIIEEE SMC, CESA '96, Lille (FR), pp. 285-290, 1996.
97. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (Coordinators), Hybrid Systems, Lecture notes in Computer Science 736, Springer-Verlag, 1993.
98. GREPA, Le Grafcet, de nouveaux concepts, Editions Cepadues, Toulouse 1985, GREPA: Groupe Equipement de Production automatisee, leaded by J.-M. Toulotte.
99. M. Hack, Analysis of Production Schemataby Petri Nets, M. S. thesis, Dep. Electrical Engineering, MIT, Cambridge, MA, 1972.
100. 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.
101. 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.
102. 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.
103. Z. Hanzalek, "Continuous Petri Nets and Polytopes", Proc. of Int. IEEE Conf. on Systems, Man, and Cybernetics, Washington, October 2003.
104. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic Model Checking for Real-Time Systems", Information and Computation, vol. I l l, no 2, pp. 193-244, 1994.
105. M. A. Holliday and M. K. Vemon, "A Generalized Timed Petri Net Model for Performance Analysis", IEEE Trans, on Software Engineering, vol. 13, no 12, pp. 1297-1310, 1987.
106. 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.
107. A. W. Holt and F. Commoner, Events and Conditions, Applied Data Research Inc., New York, 1970.
108. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, MenloPark, CA, 1979.
109. 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.
110. 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.
111. IEC, International Electrotechnic Commission, Preparation of Function Charts for Control Systems, publication 848, 1988.
112. IEC, International Electrotechnic Commission, Programmable Controllers, Part 3 . Programming Languages, publication 1131-1, 1992.
113. IEC, International Electrotechnic Commission, Grafcet Specification Language for Sequential Function Charts, publication 60848, 2002.
114. K. Jensen, "Coloured Petri Nets and the Invariant Method", Theorical Computer Sciences, vol. 14, pp. 317-336, 1981.
115. K. Jensen and G. Rosenberg, High-level Petri Nets-Theory and Application, Springer Verlag, Berlin, 1991.
116. T. Kaisai and R. Miller, Homorphisms Between Models of Parallel Computation, IBM Research Report RC 7796 (33742), 1979.
117. R. Karp and R. Miller, "Parallel Program Schemata", Journal of Computer and System Sciences, vol. 3, no4, pp. 167-195, 1969.
118. J. G. Kemeny and J. L. Snell, Finite Markov Chains, Springer Verlag, Berlin, 1976.
119. W. Khansa, Reseaux de Petri P-temporels: contribution a I'etude des systemes a evenements discrets, Doctorat thesis, University of Savoie, Annecy (FR), March 1997.
120. 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.
121. 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.
122. S. R. Kosaraju, "Decidability of Reachability in Vector Addition System", in Proc. 14th Annual Symposium Theory Computing, San Francisco (US), pp. 267-281, 1982.
123. C. Lansade and P. Tayrac, Simulation mixte, ANVAR Project TLS 0089, Pau (FR), January 1997.
124. M. Latteux, "Synchronisation de processus", Journal RAIRO Computer Science Series, vol. 14, no 2, 1980.
125. 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.
126. J. Le Bail, Un nouveau modele continu: les reseaux de Petri continus asymptotiques, Research Report 91-22, Laboratoire d'Automatique, INP Grenoble, April 1991.
127. J. Le Bail, Notion de sequence de franchissement elementaire: Application a Vetude des reseaux de Petri avec conflicts, Research Report 92-019, Laboratoire d'Automatique, INP Grenoble, February 1992.
128. J. Le Bail, H. Alia, and R. David, "Hybrid Petri Nets", Proc. European Control Conference, Grenoble (FR), July 1991.
129. J. Le Bail, H. Alia, 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.
130. J. Le Bail, H. Alia, and R. David, "Reseaux de Petri Hybrides", Technique et Science Informatiques, vol. 11, no5, pp. 95-120, 1992.
131. J. Le Bail, H. Alia, and R. David, "Asymptotic Continuous Petri Nets", /. of Discrete Event Dynamic Systems: Theory and Applications, no2, pp. 235-263, 1993.
132. D. Lefebvre, E. Leclercq, F. Druaux, and P. Thomas, "Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach", 1FAC Conf. on Analysis and Design of Hybrid Systems (ADHS 03), Saint-Malo (FR), pp. 229-234, 2003.
133. 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.
134. Y. E. Lien, "A Note on Transition Systems", J. Information Science, Vol. 10, no 4, pp. 251-265, 1976.
135. O. Maler (Coordinator), Hybrid and Real Time Systems, Lecture notes in Computer Science 1201, Springer-Verlag, 1997.
136. 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.
137. A. Mandelbaum and H. Chen, "Discrete Row Networks: Bottleneck Analysis and Fluid Approximations" Math. Operations Research, vol. 16, pp. 408-446, 1991.
138. 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.
139. 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, .
140. E. W. Mayr, "An Algorithm for the General Petri Net Reachability Problem", in Proc. 13th Annual Symposium Theory Computing, pp. 238-246, 1981.
141. G. Memmi, Fuites et semi-flots dans les reseaux de Petri, Docteur-Ingenieur thesis, University Pierre-et-Marie-Curie, Paris, Dec. 1978.
142. 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.
143. 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.
144. P. M. Merlin, "A Methodology for the Design and Implementation of Communication Protocols", IEEE Trans, on Communication, vol. 24, no6, pp. 614-621, 1976.
145. 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.
146. M. Mezghani, Modelisation et evaluation de performances d'un reseau du reseau de distribution de la ville d'Aix-Les-Bains, Student Report, Laboratoire d'Automatique, INP Grenoble, June 1994.
147. M. Moalla, Specification et conception sure d'automatismes discrets complexes, basees sur I'utilisation du Grafcet et des reseaux de Petri, These d'Etat, Grenoble University (INPG), July 1981.
148. M. Moalla, "Reseaux de Petri interpreted et Grafcet", Technique et Science lnformatiques, Vol. 14, no 1, pp. 17-30, 1985.
149. M. Moalla, Personal communication, 2001.
150. M. Moalla and R. David, "Extension du Grafcet pour la representation de systemes temps reel complexes", Journal RAIRO, Automatic Control Series, vol. 15, no2, pp. 159-192, 1981.
151. M. Moalla, J. Pulou, and J. Sifakis, "Reseaux de Petri synchronises", Journal RAIRO, Automatic Control Series, vol. 12, no2, pp. 103-130, 1978.
152. S. Mocanu and C. Commault, "Sparse Representations of Phase-Type Distributions", Commun. Stat., Stochastic Models vol. 15, no4, pp. 759-778, 1999.
153. M. K. Molloy, "Performance Analysis Using Stochastic Petri Nets", IEEE Trans, on Computers, vol. C-31, no 9, pp. 913-917, March 1982.
154. C. Muller 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.
155. C. Munteanu, R. David and H. Alia, "Algorithmic Speed Calculation for a Timed Continuous Petri Nets", WODES'04, Reims (FR), September 2004.
156. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, vol. 77, no 4, pp. 541-580, 1989.
157. S. Natkin, Les reseaux de Petri stochastiques et leur application a revaluation de performances des systemes informatiques, These de Doctorat, CNAM, Paris, June 1980.
158. 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.
159. M. F. Neuts, Matrix Geometric Solutions in Stochastic Models, Johns Hopkins University Press., Baltimore (US), 1981.
160. X. Nicollin, J. Sifakis, and S. Yovine, "From ATP To Timed Graphs and Hybrid Systems", Acta Informatica, vol. 30, pp. 181-202, 1993.
161. G. J. Olsder, "Synchronized Continuous Flow Systems" in Discrete Event Systems: Modeling and Control. Editors S. Balemi, P. Kozak, & R. Smadinga, Birkhauser Verlag, Basel, 1993.
162. 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.
163. J. L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, Engelwood Cliffs, NJ, 1981.
164. S. Pettersson and B. Lennartson, "Hybrid Modelling Focused on Hybrid Petri Nets", European Workshop on Hybrid Systems, Grenoble (FR), pp. 303-309, 1995.
165. 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.
166. C. A. Petri, Interpretation of Net Theory, Interner Bericht ISF-75-07, Saint Augustin, Bonn; Second Edition, December 1976.
167. C. A. Petri, "Introduction to General Net Theory", in Lectures Notes in Computer Science: Net Theory and Applications, pp. 1-19, 1979.
168. L. W. Philips and P. S. Hunger, "Mathematical Programming Solution of a Hoist Scheduling Program", AIIE Transactions, pp. 219-225, June 1976.
169. Y. Quenec'hdu, H. Gueguen, and J. Buisson, "Les systemes dynamiques hybrides: une nouvelle problematique", Proc. Automation of Mixed Process: Dynamic Hybrid Systems (ADPM), Brussels, pp. 1-8, 1994.
170. 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-49, 1980.
171. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph. D., MIT (US), 1973.
172. R. R. Razouk and C. V. Phelps, "Performance Analysis Using Timed Petri Nets", in Proc. Int. Conf Parallel Processing, pp. 126-129, August 1984.
173. L. Recalde and M. Silva, "PN Fluidification Revisited: Semantics and Steady State", Journal Europeen des Systemes Automatises, vol. 35, no4, pp. 435-449, 2001.
174. L. Recalde, E. Teruel, and M. Silva, "Autonomous Continuous P/T Systems", 2(flnt. Conference on Application and Theory of Petri Nets, Williamsburg (US), Springer, pp. 108-126, June 1999.
175. W. Reisig, Petri Nets: an Introduction, Springer-Verlag, Berlin, 1985.
176. C. Reutenauer, Aspects mathematiques des reseaux de Petri, Masson, Paris, 1989.
177. A. Robinson, Non Standard Analysis, North-Holland, Amsterdam, 1966. Printed again: Princeton University Press, 1996.
178. G. Roucairol, "Vers une caracterisation de la synchronisation des processus paralleles sur les files et les piles", 1st European Conference on Parallel ans Distributed Processes, Toulouse (FR), 1979.
179. J.-M. Salanskis, Le constructivisme non standard, Presse Universitaires du Septentrion, Paris, 1999.
180. G. W. Shapiro and L. W. Nuttle, "Hoist Scheduling for a PCB Electroplating Facility", HE Transactions, vol. 20, no 2, pp. 157-167, June 1989.
181. C. Sibertin-Blanc, "High Level Petri Nets with Data Structure", 6th European Workshop on Application and Theory of Petri Nets, Finland, June 1985.
182. 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.
183. J. Sifakis, "Structural Properties of Petri Nets", Mathematical Foundations of Computer Science; J. Winkowski Ed., Springer Verlag, pp. 474-483, 1978.
184. J. Sifakis, Le controle des systemes asynchrones: concepts, proprietes, analyse statique, These d'Etat, Grenoble University (INPG), 1979.
185. M. Silva, Las redes de Petri en la Automatica y la Informatica, Ed. AC, Madrid, 1985.
186. 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.
187. 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-17, Springer-Verlag, Berlin, 1989.
188. M. Silva, J. Martinez, P. Ladet and H. Alia, "Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets", Technique et Science Informatiques, vol. 14, no 1, 1985.
189. M. Silva and L. Recalde, "Petri Nets and In tegrality Relaxations: A View of Continuous Petri Net Models", IEEE Trans, on Systems, Man, and Cybernetics, vol. 32, no 4, pp. 314-327, 2002.
190. 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.
191. 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.
192. 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.
193. Special Issue on Hybrid Systems, Theoretical Computer Science, vol. 138, no 1, A. Pnueli and J. Sifakis Eds., 1995.
194. 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.
195. R. S. Sreenivas, B. H. Krogh, "On Condition/Event Systems with Discrete State Realizations", Discrete Event Dynamic Systems, vol. 1, no2, pp. 209-236, 1991.
196. 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.
197. L. Tavemini, "Differential Automata and their Discrete Simulation", Nonlinear Analysis, Theory, Methods, and Applications, vol. 11, no 6, pp. 665-683, 1987.
198. 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.
199. 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.
200. 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.
201. 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.
202. E. Teruel and M. Silva, "Structure Theory of Equal Conflict Systems", Theoretical Computer Science, vol. 153, pp. 271-300, Elsevier, Amsterdam, 1996.
203. J. M. Toudic, "Algorithmes d'algebre lineaire pour l'analyse structurelle des reseaux de Petri", Revue technique Thomson-CSF, vol. 14, no 1, pp. 137-155, 1982.
204. 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.
205. 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.
206. 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.
207. R. Valette, "Analysis of Petri Nets by Stepwise Refinements", Journal of Computer and System Sciences, no 18, pp. 35-16, 1979.
208. R. Weiting, "Hybrid High-Level Nets", Proceedings of the Winter Simulation Conference, Coronado (US), pp. 848-855, 1996.
209. R. Weiting, "Modeling and Simulation of Hybrid Systems Using Hybrid High-Level Nets", Proceedings of the 8'h European Simulation Symposium, Genova (IT), pp. 158-162, 1996.
210. R. Weiting and M. Sonnenschein, "Extended High-Level Nets for Modeling Hybrid Systems", Proc. of the 1MACS Symposium on Systems Analysis and Simulation, Berlin, pp. 259-262, 1995.
211. J. Zaytoon (Coordinator), Systemes Dynamiques Hybrides, Hermes Science Pub., Paris, 2001.
212. N. Zerhouni and H. Alia, "Dynamic Analysis of Manufacturing Systems Using Continuous Petri Nets", IEEE International Conference on Robotics and Automation, Cincinnati, vol. 2, pp. 1070-1075, 1990.
213. B. Zimmern, "Etude de la propagation des arrets aleatoires dans les chaines de production", Revue de Statistique Appli., vol. 4, pp. 85-104, 1956.
214. 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.
215. 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.