Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets

IEEE Transactions on Automatic Control

Volumn 51, Issue 9, 2006, Pages 1472-1481

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Continuous Petri nets; Deadlock freeness

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; SYSTEMS ANALYSIS; TOPOLOGY;

CONTINUOUS PETRI NETS; DEADLOCK-FREENESS ANALYSIS; DISCRETE NET MODEL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33749012004     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.880957     Document Type: Article

References (14)

1. H. Alla and R. David, "Continuous and hybrid Petri nets," J. Circuits, Syst., Comput., vol. 8, no. 1, pp. 159-188, 1998.
2. M. Silva and L. Recalde, "Petri nets and integrality relaxations: A view of continuous Petri net models," IEEE Trans. Syst., Man, Cybern., vol. 32, no. 4, pp. 314-327, Aug. 2002.
3. L. Recalde, E. Teruel, and M. Silva, "Autonomous continuous P/T systems," in Application and Theory of Petri Nets, J. K. S. Donatelli, Ed. New York: Springer-Verlag, 1999, vol. 1639, pp. 107-126.
4. F. Balduzzi, A. Giua, and G. Menga, "First-order hybrid Petri nets: A model for optimization and control," IEEE Trans. Robot. Autom., vol. 16, no. 4, pp. 382-399, Apr. 2000.
5. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri net with unique consistent firing count vector," IEEE Trans. Software Eng., vol. 17, no. 2, pp. 117-125, Feb. 1991.
6. J. Júlvez, L. Recalde, and M. Silva, "Steady state performance evaluation of continuous mono-T-semiflow Petri nets," Automatica, vol. 41, no. 4, pp. 605-616, May 2005.
7. 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. Syst., Man, Cybern., vol. 27, no. 1, pp. 73-83, Feb. 1997.
8. E. Teruel, P. Chrzastowski, J. M. Colom, and M. Silva, "On weighted T-systems," in Application and Theory of Petri Nets, K. Jensen, Ed. New York: Springer-Verlag, 1992, vol. 616, pp. 348-367.
9. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
10. F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Nets in Manufacturing. New York: Chapman & Hall, 1993.
11. E. D. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Autom. Control, vol. AC-26, no. 2, pp. 346-358, Apr. 1981.
12. M. K. Molloy, Fundamentals of Performance Modeling. Upper Saddle River, NJ: Prentice-Hall, 1988.
13. M. K. Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comput., vol. C-31, no. 9, pp. 913-917, Sep. 1982.
14. L. Recalde, E. Teruel, and M. Silva, "On linear algebraic techniques for liveness analysis of P/T systems," J. Circuits, Syst., Comput., vol. 8, no. 1, pp. 223-265, 1998.