Petri net refinement and its application in system design

Ruan Jian Xue Bao/Journal of Software

Volumn 17, Issue 1, 2006, Pages 11-19

  Xia, Chuan Liang ^a   Jiao, Li ^b   Lu, Wei Ming ^a  

^a CHINESE ACADEMY OF SCIENCES   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

Boundedness; Liveness; Petri nets; Refinement; System design

Indexed keywords

INDUSTRIAL ROBOTS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SYSTEMS ANALYSIS; THEOREM PROVING;

BOUNDEDNESS PRESERVATION; LIVENESS PRESERVATION; PETRI NET REFINEMENT; REVERSIBILITY PRESERVATION; SUBNET SYSTEMS; TARGET NET SYSTEMS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 33644947522     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos170011     Document Type: Article

References (13)

1. van der Aalst W, van Hee K. Workflow Management Models, Methods, and Systems. Beijing: Tsinghua University Press, 2004 (in Chinese).
2. Lakos C. Composing abstractions of coloured Petri nets. In: Nielsen M, Simpson D, eds. ICATPN 2000. LNCS 1825, Berlin Heidelberg: Springer-Verlag, 2000. 323-342.
3. Chrzastowski-Wachtel P, Benatallah B, Hamadi R, O'Dell M, Susanto A. A top-down Petri net-based approach for dynamic workflow modeling. In: van der Aalst WMP, et al., eds. BPM 2003. LNCS 2678, Berlin, Heidelberg: Springer-Verlag, 2003. 336-353.
4. Felder M, Gargantini A, Morzenti A. A theory of implementation and refinement in timed Petri nets. Theoretical Computer Science, 1998, 202: 127-161.
5. Stork DG, van Glabbeek R. Token-Controlled place refinement in hierachical Petri nets with application to active document workflow. In: Esparza J, Lakos C, eds. ICATPN 2002. LICS 2360, Berlin, Heidelberg: Springer-Verlag, 2002. 394-413.
6. Betous-Almeida C, Kanoun K. Construction and stepwise refinement of dependability models. Performance Evaluation, 2004, 56: 277-306.
7. Nketsa A, Valette R. Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems. Applied Mathematics and Computation, 2001, 120: 265-278.
8. Padberg J, Gajewsky M, Ermel C. Rule-Based refinement of high-level nets preserving safety properties. Science of Computer Programming, 2001, 40: 97-118.
9. van Hee K, Sidorova N, Voorhoeve M. Soundness and separability of workflow nets in the stepwise refinement. In: van der Alast WMP, Best E, eds. Proc the 24th Int'l Conf. on Application and Theory of Petri Nets. Berlin, Heidelberg: Springer-Verlag, 2003. 337-356.
10. Huang H, Cheung TY, Mak WM. Structure and behavior preservation by Petri-net-based refinements in system design. Theoretical Computer Science, 2004, 328: 245-269.
11. Volzer H. Refinement-Robust fairness. In: Brim L, et al., eds. CONCUR 2002. LNCS 2421, Berlin, Heidelberg: Springer-Verlag, 2002. 547-562.
12. Murata T. Petri nets: Properties, analysis, and applications. Proc. of the IEEE, 1989, 77(4): 541-580.
13. Reisig W. Petri Nets: An Introduction. Berlin, Heidelberg: Spring-Verlag, 1985.