Timing and deadlock-freeness in continuous Petri Nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Vazquez, Carlos Renato ^a   Mangini, Agostino Marcello ^a   Mihalache, Ana ^a   Recalde, Laura ^a   Silva, Manuel ^a  

^a NONE

Author keywords

Discrete event systems in manufacturing; Modelling and control of discrete event and hybrid systems

Indexed keywords

CONTINUOUS PETRI NET; DEADLOCK FREENESS; DISCRETE EVENT SYSTEMS IN MANUFACTURING; FIRING RATES; LIVENESS PROPERTIES; MODELLING AND CONTROL OF DISCRETE EVENT AND HYBRID SYSTEMS; NET MODEL; TIMED MODELS; TIMED SYSTEMS;

GRAPH THEORY; HYBRID COMPUTERS; HYBRID SYSTEMS; PETRI NETS; TIME SHARING SYSTEMS;

TIME MEASUREMENT;

EID: 79961018677     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.2437     Document Type: Conference Paper

References (10)

1. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1):159-188, 1998.
2. C. Chen. Linear system theory and design. Oxford University Press USA, 1984.
3. J. Julvez, L. Recalde, and M. Silva. Deadlock-freeness analysis of continuous mono-t-semiflow petri nets. IEEE Trans. on Automatic Control, 51(9):1472-1481, 2006.
4. Hassan K. Khalil. Nonlinear Systems. Prentice Hall, 2002.
5. C.Mahulea, A. Ramirez-Trevino, L. Recalde, andM. Silva. Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Trans. on Automation Science and Engineering, 2008. To appear.
6. M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Trans. on Computers, 31(9):913-917, 1982. (Pubitemid 13504437)
7. L. Recalde and M. Silva. Petri Nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA, 35(4):435-449, 2001.
8. L. Recalde, S. Haddad, and M. Silva. Continuous Petri nets: Expressive power and decidability issues. In Proc. of the 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA2007), volume 4762 of LNCS, pages 362-377. Springer, 2007.
9. M. Silva. Introducing Petri nets. In Practice of Petri Nets in Manufacturing, pages 1-62. Chapman & Hall, 1993.
10. M. Silva and L. Recalde. Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics, 32(4):314-327, 2002.