Continuization of timed Petri nets: From performance evaluation to observation and control

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 26-47

  Silva, Manuel ^a   Recalde, Laura ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COST EFFECTIVENESS; DISCRETE TIME CONTROL SYSTEMS;

COMPUTATIONAL COSTS; DISCRETE EVENT SYSTEMS; PARAMETRIC DESIGN; STATE EXPLOSION;

PETRI NETS;

EID: 26444461293     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_4     Document Type: Conference Paper

References (53)

1. Silva, M., Colom, J.M.: On the computation of structural synchronie invariants in P/T nets. In Rozenberg, G., ed.: Advances in Petri Nets 1988. Volume 340 of Lecture Notes in Computer Science. Springer (1988) 387-417
2. Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of net systems. In Rozenberg, G., Reisig, W., eds.: Lectures in Petri Nets. I: Basic Models. Volume 1491 of Lecture Notes in Computer Science. Springer (1998) 309-373
3. Kleinrock, L.: Queuing Systems, Volume II: Computer Applications. Volume 2. Wiley (1976)
4. Mandelbau, A., Chen, H.: Discrete flow networks: Bottleneck analysis and fluid approximations. Mathematical Operations Research 16 (1991) 408-446
5. Chen, H., Yao, D.: Fundamentals of Queueing Networks. Performance, Asymptotics and Optimization. Volume 46 of Applications of Mathematics. Stochastic Modelling and Applied Probability. Springer (2001)
6. th IFAC World Congress, Barcelona, Spain (2002)
7. David, R., Alla, H.: Continuous Petri nets. In: Proc. of the 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987) 275-294
8. David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer-Verlag (2004)
9. Silva, M., Recalde, L.: Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans, on Systems, Man, and Cybernetics 32 (2002) 314-327
10. Júlvez, J., Recalde, L., Silva, M.: Steady-state performance evaluation of continuous mono-t-semiflow Petri nets. Automatica 41 (2005) 605-616
11. Silva, M., Recalde, L.: On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control 28 (2004) 253-266
12. Nakamura, M., Silva, M.: An iterative linear relaxation and tabu search approach to minimum initial marking problems of timed marked graphs. In: Procs. of European Control Conference, ECC99, Aachen, Germany (1999)
13. Silva, M.: Introducing Petri nets. In: Practice of Petri Nets in Manufacturing. Chapman & Hall (1993) 1-62
14. Recalde, L., Teruel, E., Silva, M.: Autonomous continuous P/T systems. In Donatelli, S., Kleijn, J., eds.: Application and Theory of Petri Nets 1999. Volume 1639 of Lecture Notes in Computer Science., Springer (1999) 107-126
15. Silva, M.: Towards a synchrony theory for P/T nets. In Voss, K., et al., eds.: Concurrency and Nets. Springer (1987) 435-460
16. Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans, on Computers 31 (1982) 913-917
17. Recalde, L., Silva, M.: Petri Nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA 35 (2001) 435-449
18. Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8 (1998) 159-188
19. Bemporad, A., Giua, A., Seatzu, C.: An iterative algorithm for the optimal control of continuous-time switched linear systems. In Silva, M., Giua, A., Colom, J., eds.: WODES 2002: 6th Workshop on Discrete Event Systems, Zaragoza, Spain, IEEE Computer Society (2002) 335-340
20. Mahulea, C., Rodríguez, D., Recalde, L., Silva, M.: Choosing server semantics for continuous Petri nets: An examples driven approach. Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018 Zaragoza, Spain (2005) Forthcoming.
21. Newell, G.F.: Applications of Queueing Theory, Second Edition. Chapman and Hall (1982)
22. Vandergraft, J.: A fluid model of networks of queues. Management Science 29 (1983) 1198-1208
23. Dai, J.: On positive Harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Annals of Applied Probability 5 (1995) 49-77
24. Weiss, G.: Scheduling and control of manufacturing systems - a fluid approach. In: Proceedings of the 37 Allerton Conference. (1999) 577-586
25. Meyn, S.P.: Sequencing and routing in multiclass queueing networks, part I: Feedback regulation. SIAM Journal on Control and Optimization 40 (2002) 741-776
26. Meyn, S.P.: Sequencing and routing in multiclass queueing networks part II: Work-load relaxations. SIAM Journal on Control and Optimization 42 (2003) 178-217
27. Vernon, M., Zahorjan, J., Lazowska, E.D.: A comparison of performance Petri nets and queueing network models. In: 3rd Int. Workshop on Modelling Techniques and Performance Evaluation, Paris, France (1987)
28. Silva, M., Campos, J.: Performance models based on Petri nets. In: Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation, Brussels, Belgium. (1993) 14-21
29. Chiola, G.: Petri nets versus queueing netwoks. [53] chapter 4 121-134
30. Forrester, J.W.: Industrial Dynamics. MIT Press, Cambridge, Mass. (1961)
31. Forrester, J.W.: Urban Dynamics. Productivity Press (1969)
32. Jiménez, E., Recalde, L., Silva, M.: Forrester diagrams and continuous Petri nets: A comparative view. In: Proc. of the 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2001). (2001) 85-94
33. Jiménez, E., Júlvez, J., Recalde, L., Silva, M.: Relaxed continuous views of discrete event systems: considerations in Forrester diagrams and Petri nets. In: Proc. of the Int. Conf. on Systems, Man and Cybernetics (SMC 2004), The Hague, The Netherlands (2004)
34. Mosekilde, E., Aracil, J., Allen, P.: Instabilities and chaos in nonlinear dynamic systems. Systems Dynamics Review 4 (1988) 14-55
35. Luenberger, D.G.: Introductions to Dynamic Systems: Theory, Models and Applications. John Wiley and Sons, New York (1979)
36. Silva, M., Recalde, L.: Unforced continuous Petri nets and positive systems. In Benvenuti, L., Santis, A.D., Farina, L., eds.: Positive Systems. Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003). Volume 294 of LNCIS., Rome, Italy, Springer (2003) 55-62
37. Farina, L., Rinaldi, S.: Positive Linear Systems. Theory and Applications. Pure and Applied Mathematics. John Wiley and Sons, New York (2000)
38. Benevenuti, L., Farina, L.: Positive and compartmental systems. IEEE Transacions on Automatic Control 47 (2002) 370-373
39. Walter, G., Contreras, M.: Compartmental Modeling With Networks. Birkhauser Boston (1999)
40. th Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, IEEE Computer Society Press (1993) 128-137
41. Campos, J.: Performance bounds. [53] chapter 17 587-636
42. th IFAC World Congress, Barcelona, Spain (2002)
43. Ramirez-Trevino, A., Rivera-Angel, I., Lopez-Mellado, E.: Obsevability of discrete event systems modeled by interpreted Petri nets. IEEE Trans, on Robotics and Automation 19 (2003) 557-565
44. Giua, A., Seatzu, C.: Observability of Place/Transition nets. IEEE Trans, on Automatic Control 47 (2002) 1424-1437
45. Luenberger, D.G.: Observers for multivariable systems. IEEE Trans, on Automatic Control AC-11 (1966) 190-197
46. Vidal, R., Chiuso, A., Soatto, S., Sastry, S.: Observability of linear hybrid systems. In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, April 3-5, 2003, Proceedings. Volume 2623 of Lecture Notes in Computer Science., Prague, Czech Republic, Springer (2003) 526-539
47. Júlvez, J., Jiménez, E., Recalde, L., Silva, M.: On observability in timed continuous Petri net systems. In G. Franceschinis, J.K., Woodside, M., eds.: Proc. of the 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, IEEE Computer Society Press (2004) 60-69
48. th IFAC World Congress, Prague, Czech Republic (2005) To appear.
49. Jiménez, E., Júlvez, J., Recalde, L., Silva, M.: On controllability of timed continuous petri net systems: the join free case. Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018 Zaragoza, Spain (2005) Submitted to CDC-ECC'05.
50. Mahulea, C., Ramirez-Trevino, A., Recalde, L., Silva, M.: On the control of continuous Petri nets under infinite server semantics. Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018 Zaragoza, Spain (2005)
51. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35 (1999) 407-427
52. Júlvez, J., Bemporad, A., Recalde, L., Silva, M.: Event-driven optimal control of continuous Petri nets. In: 43rd IEEE Conference on Decision and Control (CDC 2004), Paradise Island, Bahamas (2004)
53. Balbo, G., Silva, M., eds.: Proc. of Human Capital and Mobility MATCH-Performance Advanced School. In Balbo, G., Silva, M., eds.: Performance Models for Discrete Event Systems with Synchronozations: Formalisms and Analysis Techniques, Jaca, Spain (1998)