Improving analysis and simulation of continuous Petri nets

2006 IEEE International Conference on Automation Science and Engineering, CASE

Volumn , Issue , 2006, Pages 9-14

  Recalde, L ^a   Mahulea, C ^a   Silva, M ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Continuous Petri nets; Immediate transitions; Improving simulation

Indexed keywords

LINEAR SYSTEMS; ORDINARY DIFFERENTIAL EQUATIONS; SEMANTICS; STIFFNESS;

ANALYSIS AND SIMULATION; COMPUTATIONAL ADVANTAGES; CONTINUOUS PETRI NET; DISCRETE EVENT DYNAMIC SYSTEMS; IMPROVING SIMULATION; MINIMUM OPERATOR; STATE EXPLOSION PROBLEMS; SWITCHING LINEAR SYSTEMS;

PETRI NETS;

EID: 45149118396     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2006.326847     Document Type: Conference Paper

References (10)

1. M. Silva and L. Recalde, "On fluidification of Petri net models: from discrete to hybrid and continuous models," Annual Reviews in Control, vol. 28, no. 2, pp. 253-266, 2004.
2. R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets. Springer-Verlag, 2004.
3. C. Mahulea, L. Recalde, and M. Silva, "On performance monotonicity and basic servers semantics of continuous Petri nets," in Accepted at WODES06, 2006.
4. M. Silva, E. Teruel, and J. M. Colom, "Linear algebraic and linear programming techniques for the analysis of net systems," in Lectures in Petri Nets. I: Basic Models, ser. Lecture Notes in Computer Science, G. Rozenberg and W. Reisig, Eds. Springer, 1998, vol. 1491, pp. 309-373.
5. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Frances-chinis, Modelling with Generalized Stochastic Petri Nets. Wiley, 1995.
6. M. Silva and E. Teruel, "A systems theory perspective of discrete event dynamic systems: The Petri net paradigm," in Symposium on Discrete Events and Manufacturing Systems. CESA '96 IMACS Multiconference, P. Borne, J. C. Gentina, E. Craye, and S. El Khattabi, Eds., Lille, France, July 1996, pp. 1-12.
7. J. Julvez, L. Recalde, and M. Silva, "Steady-state performance evaluation of continuous mono-t-semiflow Petri nets," Automatica, vol. 41, no. 4, pp. 605-616, 2005.
8. G. Berthelot, "Checking properties of nets using transformations," in Advances in Petri Nets 1985, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Springer, 1986, vol. 222, pp. 19-40.
9. J. C. Mugarza, H. Camus, J.-C. Gentina, E. Teruel, and M. Silva, "Reducing the computational complexity of scheduling problems in petri nets by means of transformation rules." in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), Oct. 1998, pp. 19-25.
10. R. H. Sloan and U. Buy, "Reduction rules for time Petri nets," Acta Informatica, vol. 33, no. 7, pp. 687-706, 1996.