On liveness and boundedness of asymmetric choice nets

Theoretical Computer Science

Volumn 311, Issue 1-3, 2004, Pages 165-197

  Jiao, Li ^a,b   Cheung, To Yat ^a   Lu, Weiming ^c  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^b INSTITUTE OF SOFTWARE   (China)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Analysis; Asymmetric choice nets; Characterization; Liveness and boundedness; Theory of Petri nets; Well formedness

Indexed keywords

COMPOSITION; COMPUTATIONAL METHODS; COMPUTER SCIENCE; MATHEMATICAL PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SET THEORY; SYSTEMS ANALYSIS;

ASYMMETRIC CHOICE NETS; BOUNDEDNESS; LIVENESS; WELL-FORMEDNESS;

PETRI NETS;

EID: 0346339747     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(03)00359-1     Document Type: Article

References (31)

1. van der Aalst W.M.P. Workflow verification: finding control-flow errors using Petri-net-based techniques. van der Aalst W.M.P., Desel J., Oberweis A. Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science. Vol. 1806:2000;161-183 Springer, Berlin.
2. van der Aalst W.M.P., Kindle E., Desel J. Beyond asymmetric choice. a note on some extensions Petri Net Newslett. 55:1998;3-13.
3. T. Agerwala, Y. Choed-Amphai, A synthesis rule for concurrent systems, Proc. 15th Design Automation Conf., Las Vegas, June 1978, pp. 305-311.
4. Barkaoui K., Couvreur J.M., Dutheiliet C. On liveness in extended non self-controlling nets. Michelis G.D., Diaz M. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 935:1995;25-44 Springer, Berlin.
5. Barkaoui K., Pradat-Peyre J. On liveness and controlled siphons in Petri nets. Billington J., Reisig W. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 1091:1996;57-72 Springer, Berlin.
6. Cheung T.Y., Zeng W. Invariant-preserving transformations for the verification of place/transition systems. IEEE Trans. Systems Man Cybernet. A. 28(1):1998;114-121.
7. Chu F., Xie X. Deadlock analysis of Petri nets using siphon and mathematical programming. IEEE Trans. Robotics Automation. 13(6):1997;793-804.
8. Desel J. A proof of the rank theorem for extended free choice nets. Jensen K. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 616:1992;134-183 Springer, Berlin.
9. Desel J., Esparza J. Free Choice Petri Nets. 1995;Cambridge University Press, Cambridge.
10. DiCesare F., Harhalakis G., Proth J.M., et al. Practice of Petri Nets in Manufacturing. 1993;Chapman & Hall, London.
11. Esparza J. Reduction and synthesis of live and bounded free choice Petri nets. Inform. Comput. 114(1):1994;50-87.
12. J. Esparza, M. Silva, On the analysis and synthesis of free choice systems, in: G. Rozenberg (Ed.), Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 483, Springer, Berlin, 1990, pp. 243-186.
13. Esparza J., Silva M. Compositional synthesis of live and bounded free choice Petri nets. Baeten J.C.M., Greote J.F. Proc. 2nd Internat. Conf. on Concurrency Theory. Lecture Notes in Computer Science. Vol. 527:1991;172-187 Springer, Berlin.
14. Ezpeleta J., Colom J.M., Martinez J. A Petri nets based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robotics Automat. 11(2):1995;173-184.
15. Hack M. Analysis of production schemata by Petri nets. 1972;TR-94, MIT, Project MAC, Boston.
16. Iordache M.V., Antsaklis P.J. Generalized conditions for liveness enforcement and deadlock prevention in Petri nets. Colom J.M., Koutny M. Application and Theorem of Petri Nets. Lecture Notes in Computer Science. Vol. 2075:2001;184-203 Springer, Berlin.
17. Jiao L., Cheung T.Y., Lu W.M. Characterizing liveness of Petri nets in terms of siphons. Esparza J., Lakos C. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 2360:2002;203-216 Springer, Berlin.
18. Kemper P. An efficient polynomial-time algorithm to decide liveness and boundedness of free choice nets. Jensen K. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 616:1992;263-278 Springer, Berlin.
19. W.M. Mak, Verifying property preservation for component-based software systems (A Petri-net based methodology), Ph.D. Thesis, Department of Computer Science, City University of Hong Kong, June 2001.
20. Murata T. Petri nets. properties, analysis, and applications Proc. IEEE. 77(4):1989;541-580.
21. Murata T., Koh J.Y. Reduction and expansion of live and safe marked graphs. IEEE Trans. Circuits and Systems. CAS-27(1):1980;68-71.
22. Narahari Y., Viswanadham N. A Petri net approach to the modeling and analysis of flexible manufacturing systems. Ann. Oper. Res. 3:1985;449-472.
23. Park J., Reveliots S.A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Automat. Control. 46(10):2001;1572-1582.
24. Recalde L., Teruel E., Silva M. On linear algebraic techniques for liveness analysis of P/T systems. J. Circuits Systems Comput. 8(1):1998;223-265.
25. Ridder N., Lautenbach K. Liveness in bounded Petri nets which are covered by T-invariants. Valette R. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 815:1994;358-378 Springer, Berlin.
26. Savi V.M., Xie X. Liveness and boundedness analysis for Petri nets with event graph modules. Jensen K. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 616:1992;328-347 Springer, Berlin.
27. Silva M., Teruel E., Colom J.M. Linear algebraic and linear programming techniques for the analysis of place/transition net systems. Reisig W., Rozenberg G. Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science. Vol. 1491:1998;309-373 Springer, Berlin.
28. Suzuki I., Murata T. A method for stepwise refinement and abstraction of Petri nets. J. Comput. System Sci. 27:1983;51-76.
29. Teruel E., Silva M. Structure theory of equal conflict systems. Theoret. Comput. Sci. 153:1996;271-300.
30. Zhen Q., Lu W.M. On liveness and safeness of asymmetric choice nets. J. Software. 11(5):2000;590-605.
31. Zhou M., DiCesare F. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. 1993;Kluwer Academic Publishers, Dordrecht.