Decomposition of nets and verification in terms of decomposition

Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet

Volumn 2, Issue , 2005, Pages 804-809

  Jiao, Li ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; NUMERICAL METHODS;

DECOMPOSITION METHODS; VERIFICATION;

PETRI NETS;

EID: 33847213543     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. G. Berthelot, "Transformations and decompositions of nets", LNCS256, Springer-Verlag, 1986, pp. 359-376.
2. J. Desel and J. Esparza, Free choice Petri nets, Cambridge University Press, 1995.
3. T. Murata, "Petri nets: properties, analysis, and applications", Proceedings of IEEE, Vol. 77(4), IEEE Press, 1989, pp. 541-580.
4. L. Jiao, H. J. Huang and T. Y. Cheung, "Property-preserving composition by place merging", Journal of Circuits, Systems and Computers, Vol. 14, No. 4, 2005, pp. 793-812.
5. W. M. P. van der Aalst, "Workflow verification: finding control-flow errors using Petri-net-based techniques", LNCS1806, Springer-Verlag, 2000, pp. 161-183.
6. A. A. Desrochers, R. Y. Al-Jaar, Applications of Petri nets in manufacturing systems: modeling, control and performance analysis, IEEE Press, 1995.
7. K. Barkaoui, J. M. Couvreur and C. Dutheiliet, "On liveness in extended non self-controlling nets", LNCS935, Springer-Verlag, 1995, pp. 2544.
8. L. Jiao, T. Y. Cheung and W. M. Lu, "On liveness and boundedness of asymmetric choice nets", Theoretical Computer Science, Vol. 311, 2004, pp.165-197.
9. M. Zhou and K. Venkatesh, Modeling, simulation, and control of flexible manufacturing systems, World Scientific Publishing Co. Pte. Ltd, 1999.