A necessary and sufficient condition for the liveness and reversibility of process-resource nets with acyclic, quasi-live, serializable, and reversible process subnets

IEEE Transactions on Automation Science and Engineering

Volumn 3, Issue 4, 2006, Pages 462-468

  Reveliotis, Spyros ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Liveness verification; Petri net (PN) reachability analysis; Process resource nets; Reversibility verification; Structural analysis

Indexed keywords

LIVENESS VERIFICATION; PETRI NET (PN) REACHABILITY ANALYSIS; PROCESS RESOURCE NETS; REVERSIBILITY VERIFICATION;

AUTOMATION; PROCESS CONTROL; STRUCTURAL ANALYSIS;

PETRI NETS;

EID: 33750039696     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.872106     Document Type: Article

References (8)

1. J. M. Colom and M. Silva, "Improving the linearly based characterization of p/t nets," in Lecture Notes in Computer Science, G. Rozenberg, Ed. New York: Springer-Verlag, 1991, vol. 483, pp. 113-145.
2. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete. Event Systems Approach. New York: Springer, 2005.
3. T. Murata, "Petri nets: properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
4. K. Van Hee, N. Sidorova, and M. Voorhoeve, "Soundness and separability of workflow nets in the stepwise refinement approach," in Lecture Notes in Computer Science, W. Van der Aalst and E. Best, Eds. New York: Springer-Verlag, 2003, vol. 2679, pp. 337-3S6.
5. M. P. Fanti and M. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
6. S. A. Reveliotis, "Structural analysis of assembly/disassembly resource allocation systems," in Proc. IEEE ICRA, Taipei, Taiwan, R.O.C., 2003.
7. M. Jeng, X. Xie, and M. Y. Peng, "Process nets with resources for manufacturing modeling and their analysis," IEEE Trans. Robot. Autom., vol. 18, no. 6, pp. 875-889, Dec. 2002.
8. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.