Introduction to fluid Petri nets

Lecture Notes in Control and Information Sciences

Volumn 433, Issue , 2013, Pages 365-386

  Vázquez, C Renato ^a   Mahulea, Cristian ^a   Júlvez, Jorge ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FLUIDIZATION; PETRI NETS; SEMANTICS;

CONTINUOUS PETRI NET; CONTINUOUS STATE; FLUID MODELS; FLUID PETRI NETS; NON NEGATIVES; RELAXATION TECHNIQUES; STATE EXPLOSION PROBLEMS; STATE VARIABLES;

DISCRETE EVENT SIMULATION;

EID: 84866849850     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4471-4276-8_18     Document Type: Article

References (39)

1. Altman, E., Jiménez, T., Koole, G.: On the comparison of Queueing Systems with their Fluid limits. Probability in the Engineering and Informational Sciences 15, 65-178 (2001)
2. Balduzzi, F., Giua, A., Menga, G.: First-order hybrid Petri nets: a model for optimization and control. IEEE Transactions on Robotics and Automation 16(4), 382-399 (2000)
3. Brams, G.W.: Réseaux de Petri: Théorie et Pratique, Masson (1983)
4. Champagnat, R., Esteban, P., Pingaud, H., Valette, R.: Modeling and simulation of a hybrid system through Pr/Tr PN-DAE model. In: Proc. ADPM 1998, 3rd International Conference on Automation of Mixed Processes, Reims, France, pp. 131-137 (1998)
5. Colom, J.M., Silva, M.: Improving the Linearly Based Characterization of P/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 113-145. Springer, Heidelberg (1991)
6. David, R., Alla, H.: Continuous Petri nets. In: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)
7. David, R., Alla, H.: Autonomous and timed continuous Petri nets. In: Proc. 11th Int. Conf. on Application and Theory of Petri Nets, Paris, France (1990)
8. David, R., Alla, H.: Autonomous and Timed Continuous Petri Nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 72-90. Springer, Heidelberg (1993)
9. David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets, 2nd edn. Springer, Berlin (2010)
10. Demongodin, I., Audry, N., Prunet, F.: Batches Petri nets. In: Proc. IEEE Conference on Systems, Man and Cybernetics, vol. 1, pp. 607-617 (1993)
11. Chen, H., Mandelbaum, A.: Discrete flow networks: Bottleneck analysis and fluid approximations. Mathematical Operations Research 16, 408-446 (1991)
12. Chiola, G., Anglano, C., Campos, J., Colom, J.M., Silva, M.: Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Quantitative Methods in Parallel Systems, pp. 161-174. Springer (1995)
13. Dai, J.G.: On positive Harris recurrence of multiclass queuing networks: A unified approach via fluid limit models. The Annals of Applied Probability 5(1), 49-77 (1995)
14. Ezpeleta, J., Couvreur, J.M., Silva, M.: A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 126-147. Springer, Heidelberg (1993)
15. Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215- 264. Springer, Heidelberg (2008)
16. Hillston, J.: Fluid Flow Approximation of PEPA models. In: Proc. 2nd Int. Conf. on the Quantitative Evaluation of Systems, pp. 33-42 (2005)
17. Júlvez, J., Recalde, L., Silva, M.: On Reachability in Autonomous Continuous Petri Net Systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 221-240. Springer, Heidelberg (2003)
18. Júlvez, J., Recalde, L., Silva, M.: Steady state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4), 605-616 (2005)
19. Júlvez, J., Recalde, L., Silva, M.: Deadlock-freeness analysis of continuous mono-Tsemiflow Petri nets. IEEE Transaction on Automatic Control 51(9), 1472-1481 (2006)
20. Mahulea, C., Ramírez, A., Recalde, L., Silva, M.: Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering 5(2), 307-320 (2008)
21. Mahulea, C., Recalde, L., Silva, M.: Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dynamic Systems 19(2), 189-212 (2009)
22. Mahulea, C., Recalde, L., Silva, M.: Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems 4(2), 219-232 (2010)
23. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri Nets. John Wiley and Sons (1995)
24. Recalde, L., Teruel, E., Silva, M.: On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems and Computers 8(1), 223-265 (1998)
25. Recalde, L., Teruel, E., Silva, M.: Autonomous Continuous P/T Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 107-126. Springer, Heidelberg (1999)
26. Recalde, L., Silva, M.: Petri nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA 35(4), 435-449 (2001)
27. Recalde, L., Haddad, S., Silva, M.: Continuous Petri nets: expressive power and decidability issues. Int. Journal of Foundations of Computer Science 21(2), 235-256 (2010)
28. Silva, M.: Towards a synchrony theory for P/T nets. In: Voss, K., et al. (eds.) Concurrency and Nets, pp. 435-460 (1987)
29. Silva, M., Colom, J.M.: On the structural computation of synchronic invariants in P/T nets. In: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)
30. Silva, M., Júlvez, J., Mahulea, C., Vázquez, C.R.: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems 21(4), 427-497 (2011)
31. Silva, M., Teruel, E.: A systems theory perspective of discrete event dynamic systems: the Petri net paradigm. In: Borne, P., Gentina, J.C., Craye, E., El Khattabi, S. (eds.) Symp. on Discrete Events and Manufacturing Systems, pp. 1-12 (1996)
32. Silva, M., Teruel, E.: DEDS along their life cycle. Interpreted extensions of Petri nets. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, USA (1998)
33. Silva, M., Teruel, E., Colom, J.M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309-373. Springer, Heidelberg (1998)
34. Silva, M., Recalde, L.: Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Transactions on Systems, Man and Cybernetics 32(4), 314-327 (2002)
35. Silva, M., Recalde, L.: On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control 28, 253-266 (2004)
36. Trivedi, K., Kulkarni, V.G.: FSPNs: Fluid Stochastic Petri Nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 24-31. Springer, Heidelberg (1993)
37. Vázquez, C.R., Recalde, L., Silva, M.: Stochastic-continuous state approximation of Markovian Petri net systems. In: Proc. 47th IEEE Conference on Decision and Control, pp. 901-906 (2008)
38. Vázquez, C.R., Silva, M.: Timing-dependent boundedness and liveness in continuous Petri nets. In: Proc. 10th Int. Workshop on Discrete Event Systems, Berlin, Germany (2010)
39. Vázquez, C.R., Silva, M.: Timing and Liveness in Continuous Petri nets. Automatica 47, 283-290 (2011)