Property preservation by petri-net-based refinements in system design

Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008

Volumn , Issue , 2008, Pages 240-246

  Xia, Chuanliang ^a,b  

^a INSTITUTE OF SOFTWARE   (China)

^b SHANDONG JIANZHU UNIVERSITY   (China)

Author keywords

Liveness; Petri nets; Property preservation; Refinement; Transformation

Indexed keywords

MARINE BIOLOGY; PETRI NETS;

BOUNDEDNESS; LIVENESS; ORIGINAL SYSTEMS; PETRI-NET; PROPERTY PRESERVATION; REFINEMENT; SYSTEM DESIGNS; TRANSFORMATION; TWO TYPES;

GRAPH THEORY;

EID: 58349095777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICYCS.2008.128     Document Type: Conference Paper

References (15)

1. W. Brauer, R. Gold, W.Vogler, A survey of behavior and equivalence preserving refinement of Petri nets. Lecture Notes in Computer Science 483 (1990) 1-46.
2. I. Suzuki, T. Murata, A method for stepwise refinement and abstraction of Petri nets. J. Comput. System Sci. 27 (1983) 51-76.
3. R. Valette, Analysis of Petri nets by stepwise refinements. J. Comput. System Sci. 18 (1979) 35-46.
4. H. Volzer, Refinement-robust fairness, Lecture Notes in Comput. Sci. 2421 (2002) 547-562.
5. S. Peuker, Concurrency based transition refinement for the verification of distributed algorithms, Lecture Notes in Comput. Sci. 2472 (2003) 430-454.
6. K. S. Cheung, Refinement of Petri-net-based system specification, Information Technology and Control, 2006, Vol. 35, No. 2, 137-143.
7. J. Desel, Reduction and design of well-behaved concurrent systems, Lecture Notes in Comput. Sci. 458 (1990) 166-181.
8. J. Desel, T. Esparza, Free choice Petri nets, Cambridge University Press, Cambridge, 1995.
9. L. Jiao, T. Y. Cheung, W. M. Lu, On liveness and boundedness of asymmetric choice nets, Theoretical Computer Science 311 (2004) 165-197.
10. E. Best, R. Devillers, M. Koutny, Petri net algebra, Springer, Berlin, 2001.
11. Y. Narahari, N. Viswanadham, A Petri net approach to the modeling and analysis of flexible manufacturing systems, Ann. Operat. Res. 3 (1995) 449-472.
12. C. Xia, Analysis of properties of Petri synthesis net, Lecture Notes in Comput. Sci. 3959 (2006) 576-587.
13. G. Julias, R. Lorenz, C. Neumair, Synthesis of controlled behavior with modules of signal nets, Lecture Notes in Comput. Sci. 3099 (2004) 238-257.
14. J. L. Peterson, Petri net theory and the modeling of systems, Prentice-Hell: Englewood Cliffs, NJ, 1981.
15. T. Murata, Petri nets: properties, analysis and applications, Proc. IEEE 77(4) (1985) 541-580.