On sampling continuous timed petri nets: Reachability "equivalence" under infinite servers semantics

Analysis and Design of Hybrid Systems 2006

Volumn , Issue , 2006, Pages 37-43

  Mahulea, Cristian ^a   Giua, Alessandro ^b   Recalde, Laura ^a   Seatzu, Carla ^b   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR SYSTEMS; PETRI NETS; PIECEWISE LINEAR TECHNIQUES; SEMANTICS;

CONSTRAINED SYSTEMS; CONTINUOUS PETRI NET; CONTINUOUS TIMED PETRI NETS; DISCRETE PETRI NETS; INFINITE SERVER SEMANTICS; PETRI NET SYSTEMS; PIECE-WISE LINEAR SYSTEMS; REACHABILITY; SAMPLING PROBLEMS; TIMED CONTINUOUS PETRI NETS;

DISCRETE EVENT SIMULATION;

EID: 84882538884     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.3182/20060607-3-it-3902.00011     Document Type: Chapter

References (8)

1. David R., Alla H. Discrete, Continuous and Hybrid Petri Nets 2004, Springer-Verlag.
2. rd IEEE Conference on Decision and Control (CDC 2004) 2004, Paradise Island, Bahamas.
3. Mahulea C., Ramírez A., Recalde L., Silva M. Steady state control, zero valued poles and token conservation laws in continuous net systems. Workshop on Control of Hybrid and Discrete Event Systems 2005, Miami, USA. J.M. Colom, S. Sreenivas, T. Ushio (Eds.).
4. th International Workshop on Discrete Event Systems 2006, Michigan, USA.
5. Recalde L., Silva M. Petri Nets fluidification revisited: Semantics and steady state. APII-JESA 2001, 35(4):435-449.
6. Silva M. Introducing Petri nets. Practice of Petri Nets in Manufacturing 1993, Chapman & Hall.
7. Silva M., Recalde L. Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics 2002, 32(4):314-327.
8. Silva M., Recalde L. On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control 2004, 28(2):253-266.