On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 781-786

  Júlvez, Jorge ^a   Recalde, Laura ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; MATHEMATICAL MODELS; PROBABILITY; SET THEORY; THEOREM PROVING; VECTORS;

DEADLOCK-FREENESS ANALYSIS; MONO-T SEMIFLOW NETS;

PETRI NETS;

EID: 0036996423     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     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. J. Campos, G. Chiola, and M. Silva. Ergodicity and throughput bounds of Petri net with unique consistent firing count vector. IEEE Trans. on Software Engineering, 17(2):117-125, 1991.
3. F. Dicesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman & Hall, 1993.
4. J. Júlvez, L. Recalde, and M. Silva. On deadlock-freeness analysis of autonomous and timed continuous mono-t-semiflow nets. Research report, Dep. Informática en Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 3, 50015 Zaragoza, Spain, 2002.
5. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
6. L. Recalde and M. Silva. Petri Nets fluidification revisited: Semantics and steady state. APII-JESA, 35(4):435-449, 2001.
7. L. Recalde, E. Teruel, and M. Silva. On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems, and Computers, 8(1):223-265, 1998.
8. L. Recalde, E. Teruel, and M. Silva. Autonomous continuous P/T systems. In J. Kleijn S. Donatelli, editors, Application and Theory of Petri Nets 1999, Volume 1639 of Lecture Notes in Computer Science, pages 107-126. Springer, 1999.
9. M. Silva and L. Recalde. Réseaux de Petri et relaxations de l'integralité: Une vision des réseaux continus. In Conférence Internationale Francophone d'Automatique (CIFA 2000), pages 37-48, 2000.
10. E. Teruel, J. M. Colom, and M. Silva. Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. on Systems, Man, and Cybernetics, 27(1):73-83, 1997.