Property-preserving composition by place merging

Journal of Circuits, Systems and Computers

Volumn 14, Issue 4, 2005, Pages 793-812

  Jiao, Li ^a   Huang, Hejiao ^b   Cheung, To Yat ^c  

^a INSTITUTE OF SOFTWARE   (China)

^b HARBIN INSTITUTE OF TECHNOLOGY   (China)

^c CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Composition; Petri nets; Place merging; Property preservation; Verification

Indexed keywords

BOUNDARY VALUE PROBLEMS; COMPONENTS; LARGE SCALE SYSTEMS; STRATEGIC PLANNING;

PLACE MERGING; PROPERTY-PRESERVING COMPOSITION; SUBSYSTEMS; VERIFICATION;

PETRI NETS;

EID: 25444456646     PISSN: 02181266     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021812660500260X     Document Type: Article

References (25)

1. C. Girault and R. Valk, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications (Springer, Berlin, 2003).
2. P. Huber, K. Jensen and R. M. Shapiro, Hierarchies in colored Petri nets, LNCS383 (1990), pp. 342-416.
3. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use (Springer, Berlin, 1993).
4. T. Agerwala and Y. Choed-Amphai, A synthesis rule for concurrent systems, Proc. 15th Design Automation Conference, Las Vegas (1978), pp. 305-311.
5. Y. Narahari and N. Viswanadham, A Petri net approach to the modeling and analysis of flexible manufacturing systems, Ann. Oper. Res. 3 (1985) 449-472.
6. B. H. Krogh and C. L. Beck, Synthesis of place/transition nets for simulation and control of manufacturing systems, Proc. IFIP Symp. Large Scale Systems (1986), pp. 661-666.
7. I. Koh and F. DiCesare, Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems, IEEE Trans. Syst., Man and Cybernetics 21 (1991) 963-973.
8. Y. Souissi and G. Memmi, Composition of nets via a communication medium, LNCS 483 (1990), pp. 457-470.
9. Y. Souissi, On liveness preservation by composition of nets via a set of places, LNCS 524 (1991), pp. 277-295.
10. J. Esparza and M. Silva, On the analysis and synthesis of free choice Petri nets, LNCS483 (1990), pp. 241-286.
11. J. Esparza, and M. Silva, Top-down synthesis of live and bounded free choice Petri nets, LNCS524 (1991), pp. 118-139.
12. J. Esparza and M. Silva, Compositional synthesis of live and bounded free choice Petri nets, LNCS527(1991), pp. 173-187.
13. J. Esparza, Synthesis rules for Petri nets, and how they lead to new results, LNCS458 (1990), pp. 182-198.
14. S. Christensen and L. Petrucci, Modular analysis of Petri nets, The Computer Journal 43 (2000) 224-243.
15. J. Desel, Reduction and design of well-behaved concurrent systems, LNCS458 (1990), pp. 166-181.
16. J. Esparza, Reduction and synthesis of live and bounded free choice Petri nets, Infor. Comput. 114 (1994) 50-87.
17. L. Jiao, T. Y. Cheung and W. M. Lu, On liveness and boundedness of asymmetric choice nets, Theor. Comput. Sci. 311 (2004) 165-197.
18. H. Huang, L. Jiao and T. Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, in Proc. 2003 IEEE Int. Conf. Robotics and Automation, Taipei, Taiwan, September 2003, pp. 1446-1451.
19. L. Recalde, E. Teruel and M. Silva, {SC}*ECS: A class of modular and hierarchical cooperating systems, LNCS1091 (1996), pp. 440-459.
20. J. Desel and J. Esparza, Free Choice Petri Nets (Cambridge University Press, 1995).
21. T. Murata, Petri nets: Properties, analysis, and applications, Proc. IEEE 77 (1989) 541-580.
22. W. M. P. van der Aalst, Workflow verification: Finding control-flow errors using Petrinet-based techniques, LNCS1806 (2000), pp. 161-183.
23. K. Barkaoui, J. M. Couvreur and C. Dutheiliet, On liveness in extended non self-controlling nets, LNCS995 (1995), pp. 25-44.
24. A. A. Desrochers and R.. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis (IEEE Press, 1995).
25. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (Kluwer Academic Publishers, 1993).