On fluidification of Petri Nets: From discrete to hybrid and continuous models

Annual Reviews in Control

Volumn 28, Issue 2, 2004, Pages 253-266

  Silva, Manuel ^a   Recalde, Laura ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Discrete event systems; Hybrid models; Petti Nets; Relaxation

Indexed keywords

DIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS; MATRIX ALGEBRA; NEURAL NETWORKS; OPTIMIZATION; PETRI NETS; PROBLEM SOLVING;

DISCRETE EVENT SYSTEMS (DES); HYBRID MODELS; RELAXATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 8344220389     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.arcontrol.2004.05.002     Document Type: Article

References (54)

1. Agerwala, T., & Flynn, M. (1973). Comments on capabilities, limitations and "correctness" of Petri Nets. Computer Architecture News
2. Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., & Cumani, A. (1989). The effect of execution policies on the semantics and analysis of stochastic Petri Nets. IEEE Transactions on Software Engineering, 15(1), 832-846.
3. Ajmone Marsan, Donatelli, S., Franceschinis, G., & Neri, F. (1997). Reductions in generalized stochastic Petri nets and stochastic well-formed nets: An overview and an example of application. In J. Walrand, K. Bagchi, & G. Zobrist (Eds.), Network performance modeling and simulation. Gordon and Breach Publishers Inc.
4. Alla, H., & David, R. (1998). Continuous and hybrid Petri Nets. Journal of Circuits, Systems and Computers, 8(1), 159-188.
5. Alla, H., & David, R. (1998). A modeling and analysis tool for discrete event systems - Continuous Petri Net. Performance Evaluation, 33(1), 175-199.
6. Allam, M., & Alla, H. (1998). Modeling and simulation of an electronic component manufacturing system using hybrid Petri Nets. IEEE Transactions on Semiconductor Manufacturing, 11(3), 374-383.
7. Balbo, G., & Silva, M. (Eds.). (1998). Proceedings of Human Capital and Mobility MATCH - Performance Advanced School, Jaca (Spain).
8. Balduzzi, F., Giua, A., & Menga, G. (2000). First-order hybrid Petri Nets: A model for optimization and control. IEEE Transactions on Robotics and Automation, 16(4), 382-399.
9. Bemporad, A., Giua, A., & Seatzu, C. (2002). An iterative algorithm for the optimal control of continuous-time switched linear systems. In M. Silva, A. Giua, & J. M. Colom (Eds.), WODES 2002: 6th Workshop on Discrete Event Systems (pp. 335-340). Zaragoza, Spain: IEEE Computer Society.
10. Bemporad, A., & Morari, M. (1999). Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3), 407-427.
11. Campos, J. (1998). Performance bounds (pp. 587-636) (in Balbo & Silva, 1998).
12. Campos, J., Chiola, G., & Silva, M. (1991). Ergodicity and throughput bounds of Petri Net with unique consistent firing count vector. IEEE Transactions on Software Engineering, 17(2), 117-125.
13. Campos, J., & Silva, M. (1992). Structural techniques and performance bounds of stochastic Petri Net models. In G. Rozenberg (Ed.), Advances in Petri Nets 1992: Vol. 609. Lecture notes in computer science (pp. 352-391). New York: Springer.
14. Cassandras, C. G., Sun, G., Panayiotou, C. G., & Wardi, Y. (2002). Perturbation analysis of multiclass stochastic fluid models. In 15th IFAC World Congress.
15. Champagnat, R., Esteban, P., Pingaud, H., & Valette, R. (1998). Modeling and simulation of a hybrid system through Pr/Tr PN-DAE model. In Proceeding of ADPM'98 (pp. 131-137).
16. Chen, H., & Yao, D. D. (2001). Fundamentals of queueing netwroks. Performance, asymptotics and optimization: Vol. 46, applications of mathematics. Stochastic modelling and applied probability. Springer.
17. Chiola, G. (1998). Petri Nets versus queueing netwoks (pp. 121-134) (in Balbo & Silva, 1998).
18. Chiola, G., Anglano, C., Campos, J., Colom, J. M., & Silva, M. (1993). Operational analysis of timed Petri Nets and application to the computation of performance bounds. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM93) (pp. 128-137). Toulouse, France: IEEE Computer Society Press.
19. Chiola, G., & Franceschinis, G. (1991). Structural colour simplification in well-formed nets. In Proceedings of the 4th International Workshop on Petri Nets and Performance Models (PNPM91) (pp. 20-31). IEEE Computer Society Press.
20. David, R., & Alla, H. (1987). Continuous Petri Nets. In Proceedings of the 8th European Workshop on Application and Theory of Petri Nets (pp. 275-294).
21. Demongodin, I., & Koussoulas, N. T. (1998). Differential Petri Nets: Representing continuous systems in a discrete-event world [Special issue]. IEEE Transactions on Automatic Control, 43(4), 573-579.
22. Dutheillet, C., Franceschinis, G., & Haddad, S. (1998). Analysis techniques for colored well-formed systems (pp. 233-284) (in Balbo & Silva, 1998).
23. Farina, L., & Rinaldi, S. (2000). Positive linear systems. Theory and applications. Pure and applied mathematics John Wiley and Sons.
24. Febbraro, A. Di., & Sacone, S. (1998). Hybrid Petri Nets for the performance analysis of transportation systems. In Proceeding of the 37th IEEE Conference on Decision and Control (Vol. 3, pp. 3232-3237).
25. Forrester, J. W. (1961). Industrial dynamics. MIT Press.
26. Forrester, J. W. (1969). Urban dynamics. Productivity Press.
27. Gaujal, B., & Giua, A. (2002). Optimal routing of continuous timed Petri Nets. In 15th IFAC World Congress.
28. Giua, A., DiCesare, F., & Silva, M. (1993). Petri Net supervisors for generalized mutual exclusion constraints. In 12th IFAC World Congress (Vol. 1, pp. 267-270).
29. Giua, A., Furcas, R., Piccaluga, A., & Seatzu, C. (2001). Hybrid Petri Net modeling of inventory management systems. European Journal of Automation APII-JESA, 35(4), 417-434.
30. Horton, G., Kulkarni, V. G., Nicol, D. M., & Trivedi, K. S. (1998). Fluid stochastic Petri Nets: Theory, applications, and solution techniques. European Journal of Operational Research, 105(4), 184-201.
31. Jimenez, E., Recalde, L., & Silva, M. (2001). Forrester diagrams and continuous Petri Nets: A comparative view. Proceeding of the 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001), 85-94.
32. Júlvez, J., Bemporad, A., Recalde, L., Silva, M. (2004). Event-driven optimal control of continuous Petri Nets (Research report). Dep. Informatica e Ingenieria de Sistemas, Universidad de Zaragoza. Maria de Luna, Zaragoza, Spain.
33. Júlvez, J., Jimenez, E., Recalde, L., & Silva, M. (2004a). Design of observers for timed continuous Petri Net systems (Research report). Dep. Informatica e Ingenieria de Sistemas, Univer-sidad de Zaragoza. Maria de Luna, Zaragoza, Spain.
34. Júlvez, J., Jimenez, E., Recalde, L., & Silva, M. (2004b). On observability in timed continuous Petri Net systems (Research Report). Dep. Informatica e Ingenieria de Sistemas, Univer-sidad de Zaragoza. Maria de Luna, Zaragoza, Spain.
35. Júlvez, J., Recalde, L., & Silva, M. (2003). On reachability in autonomous continuous Petri Net systems. In W. van der Aalst & E. Best (Eds.), Proceedings of the 24th International Conference on Application and Theory of Petri Nets (ICATPN 2003) (Vol. 2679, pp. 221-240). Eindhoven, The Netherlands: Springer.
36. Luenberger. (1979). Introductions to dynamic systems: Theory, models and applications. New York: John Wiley and Sons.
37. Mandelbau, A., & Chen, H. (1991). Discrete flow networks: Bottleneck analysis and fluid approximations. Mathematical Operations Research, 16(4), 408-446.
38. Montanari, U., & Rossi, F. ( 1995). Contextual nets. Acta Informatica, 32(4), 545-596.
39. Ramadge, P. J. G. & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81-98.
40. Recalde, L., Julvez, J., & Silva, M. (2002). Steady state performance evaluation for some continuous Petri Nets. In 15th IFAC World Congress.
41. Recalde, L., & Silva, M. (2001). Petri Nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA, 55(4), 435-449.
42. Recalde, L., Teruel, E., & Silva, M. (1998). On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems, and Computers, 8(1), 223-265.
43. Recalde, L., Teruel, E., & Silva, M., (1999). Autonomous continuous P/T systems. In J. Kleijn & S. Donatelli (Eds.), Application and theory of Petri Nets: Vol. 1639. Lecture notes in computer science (pp. 107-126). Springer.
44. Rozenberg, G., & Reisig, W. (Eds.). (1998). Lectures in Petri Nets, I: Basic models. Lecture notes in computer science (Vol. 1491). New York: Springer.
45. Silva, M. (1993). Introducing Petri Nets. In Practice of Petri Nets in manufacturing (pp. 1-62). Chapman & Hall.
46. Silva, M., & Campos, J. (1993). Performance models based on Petri nets. In Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation (pp. 14-21).
47. Silva, M., & Recalde, L. (2002). Petri Nets and integrality relaxations: A view of continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, 32(4), 314-327.
48. Silva, M., & Recalde, L. (2003). Unforced continuous Petri Nets and positive systems. In L. Benvenuti, A. De Santis, & L. Farina (Eds.), Positive Systems. Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003) of LNCIS (Vol. 294, pp. 55-62). Italy: Springer.
49. Silva, M., & Teruel, E. (1996). A systems theory perspective of discrete event dynamic systems: The Petri Net paradigm. In P. Borne, J. C. Gentina, E. Craye, & S. El Khattabi (Eds.), Symposium on discrete events and manufacturing systems. CESA '96 IMACS Multiconference (pp. 1-12).
50. Silva, M., Teruel, E., & Colom, J. M. (1998). Linear algebraic and linear programming techniques for the analysis of net systems (pp. 309-373) (in Rozenberg & Reisig, 1998).
51. Teruel, E., & Silva, M. (1996). Structure theory of equal conflict systems. Theoretical Computer Science, 153(1-2), 271-300.
52. Trivedi, K., & Kulkami, V. G. (1993). FSPNs: Fluid Stochastic Petri Nets. In M. Ajmone Marsan (Ed.), Application theory of Petri Nets 1993: Vol. 691. Lecture notes in computer science (pp. 24-31). Springer.
53. Valmari, A. (1998). In G. Rozenberg & W. Reisig (Eds.), The state explosion problem (pp. 429-528).
54. Vernon, M., Zahorjan, J., & Lazowska, E. D. (1987). A comparison of performance Petri Nets and queueing network models. In Third International Workshop on Modelling Techniques and Performance Evaluation.