First-order hybrid Petri nets. An application to distributed manufacturing systems

Nonlinear Analysis: Hybrid Systems

Volumn 2, Issue 2, 2008, Pages 408-430

  Dotoli, M ^a   Fanti, M P ^a   Giua, A ^b   Seatzu, C ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Distributed manufacturing systems; First order hybrid Petri nets; Hybrid Petri nets; Manufacturing systems

Indexed keywords

EID: 40949088524     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2006.05.005     Document Type: Article

References (97)

1. A. Ait-Yahia, N. Zerhouni, A. Elmoudni, M. Ferney, On the modeling and simulation of variable speed continuous Petri nets by design/CPN, in: Proc. 1995 EUROSIM Conf., EUROSIM '95, Vienna, Austria, 1995
2. H. Alla, Modelling and simulation of event driven systems by Petri nets, in: Proc. ADEDOPS Workshop, London, UK, 1995
3. H. Alla, R. David, Modelling of production systems by continuous Petri nets, in: Proc. 3rd Int. Conf. on CAD/CAM Robotics and Factories of the Future, Southfield, MI, USA, 1988
4. Alla H., and David R. Continuous and hybrid Petri nets. J. Circuits Syst. Comput. 8 1 (1998) 159-188
5. Alla H., and David R. A modeling and analysis tool for discrete events systems: Continuous Petri net. Perform. Evaluation 33 3 (1998) 175-199
6. M. Allam, H. Alla, Modelling production systems by hybrid automata and hybrid Petri nets, in: Proc. IFAC-IFIP-IMACS Conf. on Control of Industrial Systems, 1997
7. Allam M., and Alla H. Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets. IEEE Trans. Semicond. Manuf. 11 3 (1998) 374-383
8. Alur R., Courcoubetis C., Henzinger T.A., and Ho P.H. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science vol. 736 (1993), Springer Verlag
9. C. Amer-Yahia, N. Zerhouni, A. El-Moudni, M. Ferney, State equation and stability of a class of continuous Petri nets. application to manufacturing lines, in: Proc. ETFA'95 Symp. on Emerging Technologies and Factory Automation, Paris, France, 1995
10. C. Amer-Yahia, N. Zerhouni, A. El-Moudni, M. Ferney, State variable description and controllability of a class of continuous Petri nets, in: Proc. 1996 IEEE Int. Symp. on Circuits and Systems, Atlanta, GA, USA, 1996
11. C. Amer-Yahia, N. Zerhouni, M. Ferney, A. El Moudni, Modelling of biological systems by continuous Petri net, in: Proc. 3rd IFAC Symp. Modelling and Control in Biomedical Systems, Warwick, UK, 1997
12. A. Amrah, N. Zerhouni, A. El Moudni, Constrained state feedback control of a class of discrete event systems modelled by continuous Petri nets, in: Proc. 4th Int. Conf. on Control, Automation, Robotics and Vision, Singapore, 1996
13. A. Amrah, N. Zerhouni, A. El Moudni, Control of discrete event systems modeled by continuous Petri nets: Case of opened assembly manufacturing lines, in: Proc. ECC'97, European Control Conf., Brussels, Belgium, 1997
14. A. Amrah, N. Zerhouni, A. El Moudni, Control of discrete event systems modeled by continuous Petri nets: Case of opened manufacturing lines, in: Proc. 1997 IEEE Int. Conf. on Robotics and Automation, Albuquerque, NM, USA, 1997
15. A. Amrah, N. Zerhouni, A. El Moudni, Flow control of manufacturing systems, case of opened manufacturing lines, in: Proc. CESA'98: Computational Engineering in Systems Application, Nabeul-Hammamet, Tunisia, 1998
16. Amrah A., Zerhouni N., and El Moudni A. On the control of manufacturing lines modelled by controlled continuous Petri nets. Internat. J. Systems Sci. 29 2 (1998) 127-137
17. D. Andreu, J.C. Pascal, R. Valette, Interaction of discrete and continuous parts of a batch process control system, in: Proc. Workshop on Analysis and Design of Event-Driven Operations in Process Systems, London, UK, 1995
18. D. Andreu, J.C. Pascal, R. Valette, Events as a key of a batch process control system, in: Proc. CESA'96, Symp. on Discrete Events and Manufacturing Systems, Lille, France, 1996
19. D. Andreu, J.C. Pascal, H. Pingaud, R. Valette, Batch process modeling using Petri nets, in: Proc. 1994 IEEE Int. Conf. on Systems, Man, and Cybernetics
20. P.J. Antsaklis, X.D. Koutsoukos, On hybrid control of complex systems: A survey, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
21. Audry N., and Prunet F. Controlled batches Petri nets. Proc. 1995 IEEE Int. Conf. on Systems, Man and Cybernetics, Intelligent Systems (1995), Vancouver, BC, Canada
22. N. Audry, I. Demogodin, F. Prunet, Modelling of high throughput production lines by using generic models described in batches Petri nets, in: Proc. 1994 IEEE Int. Conf. on Robotics and Automation, 1994
23. J. Le Bail, H. Alla, R. David, Asymptotic continuous Petri nets: An efficient approximation of discrete event systems, in: Proc. 1992 IEEE Int. Conf. on Robotics and Automation, Nice, France, 1992
24. Bail J.L., Alla H., and David R. Asymptotic continuous Petri nets. Discrete Event Dyn. Syst. 2 3-4 (1993) 235-263
25. Balduzzi F., Di Febbraro A., Giua A., and Seatzu C. Decidability results in first-order hybrid Petri nets. Discrete Event Dyn. Syst. (2001)
26. Balduzzi F., Giua A., and Seatzu C. Modeling and simulation of manufacturing systems with first-order hybrid Petri nets. Int. J. Prod. Res. 39 (2001) 255-282
27. Balduzzi F., Giua A., and Menga G. First-order hybrid Petri nets: A model for optimization and control. IEEE Trans. Robot. Automat. 16 (2000) 382-399
28. A. Bemporad, J. Júlvez, L. Recalde, M. Silva, Event-driven optimal control of continuous Petri nets, in: Proc. 43th IEEE Conf. on Decision and Control, Atlantis, Paradise Island, Bahamas, 2004
29. Bemporad A., Morari M., Dua V., and Pistikopoulos E.N. The explicit linear quadratic regulator for constrained systems. Automatica 38 1 (2002) 3-20
30. R. Champagnat, P. Esteban, H. Pingaud, R. Valette, Modeling and simulation of a hybrid system through PR/TR PN-DAE model, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
31. Champagnat R., Valette R., Hochon J.C., and Pingaud H. Modeling, simulation and analysis of batch production systems. J. Discrete Event Dyn. Syst. 11 (2001) 119-136
32. H. Chen, H.-M. Hanisch, Hybrid net condition/event systems for modeling and analysis of batch processes, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
33. Ciardo G., Nicol D.M., and Trivedi K.S. Discrete-event simulation of fluid stochastic Petri nets. IEEE Trans. Softw. Eng. 2 25 (1999) 207-217
34. Colom J.M., and Silva M. Improving the linearly based characterization of P/T nets. Lecture Notes in Computer Science vol. 483 (1990), Springer Verlag
35. G. Corriga, A. Giua, G. Usai, Petri net modeling of irrigation canal networks, in: Proc. Int. Work. on Regulation of Irrigation Canals, Marrakech, Morocco, 1997
36. B. Daubas, A. Pag'es, H. Pingaud, Combined simulation of hybrid processes, in: Proc. 1994 IEEE Int. Conf. on Systems, Man, and Cybernetics, 1994
37. R. David, Modeling of hybrid systems using continuous and hybrid Petri nets, in: Proc. Conf. on Petri Nets and Performances Evaluation, Saint Malo, France, 1997
38. R. David, H. Alla, Continuous Petri nets, in: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain, 1987
39. R. David, H. Alla, Autonomous and timed continuous Petri nets, in: Proc. 11th Int. Conf. on Application and Theory of Petri Nets, Paris, France, 1993
40. David R., and Alla H. Discrete, Continous and Hybrid Petri Nets (2005), Springer, Berlin, Heidelberg
41. I. Demongodin, Extended structures of batches Petri nets, in: Proc. IEEE Int. Conf. on Systems Man & Cybernetics, Tokyo, Japan, 1999
42. Demongodin I. Generalized batches Petri: Hybrid model for high speed systems with variable delays. J. Discrete Event Dyn. Syst. 11 (2001) 137-162
43. I. Demongodin, A. Giua, Some analysis methods for continuous and hybrid petri nets, in: Proc. IFAC World Congress, Barcelona, Spain, 2002
44. Demongodin I., and Koussoulas N.T. Differential Petri nets: Representing continuous systems in a discrete-event world. IEEE Trans. Automat. Control (1998)
45. I. Demongodin, M. Caradec, F. Prunet, Fundamental concepts of analysis in batches Petri nets, in: Proc. 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, CA, USA, 1998
46. I. Demongodin, N. Audry, F. Prunet, Batches Petri nets, in: Proc. 1993 Int. Conf. on Systems, Man and Cybernetics, Systems Engineering in the Service of Humans, Le Touquet, France, 1993
47. Desrochers A., Deal T.J., and Fanti M.P. Complex-valued token Petri nets. IEEE Trans. Automat. Sci. Eng. (2005)
48. M. Dotoli, M.P. Fanti, A.M. Mangini, Modelling distributed manufacturing systems via first order hybrid Petri nets, in: Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, 2006
49. Dotoli M., Fanti M.P., Meloni C., and Zhou M.C. Design and optimization of integrated e-supply chain for agile and environmentally conscious manufacturing. IEEE Trans. Systems Man and Cybern. - Part A 36 1 (2006) 62-75
50. E. Dubois, H. Alla, Hybrid Petri nets with a stochastic discrete part, in: Proc. 2nd European Control Conf., Groningen, Netherlands, 1993
51. E. Dubois, H. Alla, R. David, Continuous Petri net with maximal speeds depending on time, in: Proc. 15th Int. Conf. on Application and Theory of Petri Nets, Zaragoza, Spain, 1994
52. T. El-Fouly, N. Zerhouni, M. Ferney, A. El Moudni, Modeling and analysis of manufacturing systems using a hybrid approach, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
53. J.-M. Flaus, Hybrid flow nets for batch process modeling, in: Proc. CESA'96, Symp. on Discrete Events and Manufacturing Systems, Lille, France, 1996
54. J.-M. Flaus, Hybrid flow nets for batch process modeling and simulation, in: Proc. 2nd IMACS Symp. on Mathematical Modeling, Vienna, Austria, 1997
55. J.-M. Flaus, G. Ollagnon, Hybrid flow nets for hybrid processes modeling and control, in: Proc. Int. Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997
56. J.-M. Flaus, H. Alla, Structural analysis of hybrid systems modelled by hybrid flow nets, in: Proc. European Control Conference, Brussels, Belgium, 1997
57. Furcas R., Giua A., Piccaluga A., and Seatzu C. Hybrid Petri net modeling of inventory management systems. European J. Automation, JESA 35 (2001) 417-434
58. Gaujal B., and Giua A. Optimal stationary behavior for a class of timed continuous Petri nets. Automatica 40 9 (2004) 1505-1516
59. H.J. Genrich, I. Schuart, Modeling and verification of hybrid systems using hierarchical coloured Petri nets, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
60. Giua A. (2006). http://www.diee.unica.it/giua/bibliohpn.html
61. Giua A., and Usai E. Modeling hybrid systems by high-level Petri nets. European J. Automation APII-JESA (1998)
62. Giua A., Pilloni M.T., and Seatzu C. Modelling and simulation of a bottling plant using hybrid Petri nets. Int. J. Prod. Res. 43 (2001) 1375-1395
63. Gribaudo M., Sereno M., Horvàt A., and Bobbio A. Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. J. Discrete Event Dyn. Syst. 11 (2001) 97-117
64. Horton G., Kulkani V.G., Nicol D.M., and Trivedi K.S. Fluid stochastic Petri nets: Theory, application, and solution techniques. European J. Oper. Res. 701 1 (1998) 184-201
65. J. Júlvez, R. Boel, Modelling and controlling traffic behaviour with continuous Petri nets, in: Proc. 16th IFAC World Congress, Prague, Czech Republic, 2005
66. J. Júlvez, E. Jimènez, L. Recalde, M. Silva, Design of observers for timed CPN systems, in: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, The Hague, The Netherlands, 2004
67. J. Júlvez, L. Recalde, M. Silva, On deadlock-freeness analysis of autonomous and timed continuous mono-T semiflow nets, in: Proc. 41th IEEE Conf. on Decision and Control, Las Vegas, USA, 2002
68. Júlvez J., Recalde L., and Silva M. On reachability in autonomous continuous Petri net systems. Lecture Notes in Computer Science vol. 2679 (2003), Springer Verlag
69. J. Komenda, N. Zerhouni, A. El Moudni, Analysis of hybrid Petri nets based on the hybrid state equation, in: Proc. 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, CA, USA, 1998
70. Lefebvre D. Feedback control designs for manufacturing systems modeled by continuous Petri nets. Internat J. Systems Sci. 30 6 (1999) 591-600
71. Lefebvre D. Estimation of the production frequencies for manufacturing systems. IMA J. Manag. Math. (2000)
72. D. Lefebvre, Firing speeds estimation for continuous Petri nets, in: Proc. 39th IEEE Conf. on Decision and Control, Sydney, Australia, 2000
73. Mahulea C., Giua A., Recalde L., Seatzu C., and Silva M. Optimal control of timed continuous Petri nets via explicit mpc. Lecture Notes in Computer Science (2006), Springer Verlag
74. Mahulea C., Ramirez Trevi noand A., Recalde L., and Silva M. Decidable hybrid systems. IEEE Trans. Automat. Sci. Eng. (2006)
75. C. Mahulea, L. Recalde, M. Silva, On performance monotonicity and basic servers semantics of continuous Petri nets, Michigan, USA, 2006
76. Marsan M.A., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with Generalized Stochastic Petri Nets (1995), John Wiley & sons
77. Marsan M.A., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing (1995), John Wiley and Sons
78. Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE 77 (1989) 541-580
79. D.M. Nicol, A.S. Miner, The fluid stochastic Petri net simulator, in: Proc. 6th Int. Workshop on Petri Nets and Performance Models, Durham, NC, USA, 1995
80. C.A. Petri, Kommunikation mit Automaten (Communication with automata), Ph.D. Thesis, 1962
81. Puri A., and Varaiya P. Decidable hybrid systems. Comput. Math. Model. 23 11-12 (1996) 191-202
82. Silva M., and Recalde L. On fluidification of Petri net models: From discrete to hybrid and continuous models. Annual Rev. Control 28 2 (2004) 253-266
83. Trivedi K.S., and Kulkarni V.G. FSPNs: Fluid stochastic Petri nets. In: Marsan M.A. (Ed). Lecture Notes in Computer Science vol. 691 (1993), Springer Verlag
84. C. Valentin-Roubinet, Modeling and analysis methods for a class of hybrid dynamic systems, in: Proc. Symp. ADPM'94, Brussels, Belgium, 1994
85. C. Valentin-Roubinet, Modelling and simulation of sequential hybrid dynamic systems, in: Proc. Workshop on Analysis and Design of Event-Driven Operations in Process Systems, London, UK, 1994
86. C. Valentin-Roubinet, Modeling of hybrid systems: Dae supervised by Petri nets. the example of a gas storage, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
87. D. Vibert, C. Valentin-Roubinet, E. Niel, A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems, in: European Control Conference, Brussels, Belgium, 1997
88. Viswanadham N. Analysis of Manufacturing Enterprises (2000), Kluwer Academic Publishers, Boston, MA, USA
89. Viswanadham N., and Gaonkar R.S. Partner selection and synchronized planning in dynamic manufacturing networks. IEEE Trans. Robot. Automat. 19 1 (2003) 117-130
90. Viswanadham N., and Raghavan S. Performance analysis and design of supply chains: A Petri net approach. J. Oper. Res. Soc. 51 (2000) 1158-1169
91. K. Wolter, Second order fluid stochastic Petri nets: An extention of gspns for approximate and continuous modelling, in: Proc. World Congr. on Systems Simulation, Singapore, 1997
92. K. Wolter, G. Hommel, Hybrid modelling with second order fluid stochastic Petri nets, in: Proc. Workshop on Parallel and Distributed Real-Time Systems, Geneva, Switzerland, 1997
93. K. Wolter, G. Hommel, Probabilistic and deterministic fluid flow in second order FSPN's, in: Proc. 3rd Int. Conf. on Automation of Mixed Processes, Reims, France, 1998
94. Zerhouni C., and Amer-Yahia N. State equation and stability for a class of continuous Petri nets. application to the control of a production systems. Stud. in Informatics and Control 10 4 (2001) 301-317
95. N. Zerhouni, H. Alla, Dynamic analysis of manufacturing systems using continuous Petri nets, in: Proc. 1990 IEEE Int. Conf. on Robotics and Automation, Cincinnati, OH, USA, 1990
96. Zerhouni N., and Alla H. Manufacturing lines analysis using continuous Petri nets. Autom. Prod. Inform. Ind. 26 3 (1992) 253-276
97. Zhou M.C., and Venkatesh K. Modeling, Simulation and Control of Flexible Manufacturing Systems (1998), World Scientific, Singapore