Five classes of invariant-preserving transformations on colored Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 384-403

  Cheung, To Yat ^a   Lu, Yiqin ^b  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^b SOUTH CHINA UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

COLORED PETRI NETS; FLEXIBLE MANUFACTURING; PLACE INVARIANTS; SPECIFIC PROPERTIES; SYSTEM SPECIFICATION;

PETRI NETS;

EID: 84958976956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_23     Document Type: Conference Paper

References (26)

1. M.L. Benalycherif and C. Girault, “Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets”, Lecture Notes in Computer Science, Vol. 1091, Springer-Verlag, 1980, pp.73-92.
2. G. Berthelot, “Transformations and decompositions of nets”, Lecture Notes in Computer Science, Vol.254, Springer-Verlag, 1987, pp.359-376.
3. E. Best and T. Thielke, “Orthogonal transformations for colored Petri nets”, Lecture Notes in Computer Science, Vol.1248, Springer-Verlag, 1997, pp.447-466.
4. T.F. Bowen, F.S. Dworack, C.H. Chow, N. Griffeth, G.E. Herman, and Y.-J. Lin, “The feature interaction problem in telecommunications systems”, Proc. 7th IEE Int. Conf. on Software Engineering Telecomm. Switching Systems, 1989, pp.59-62.
5. E.J. Cameron, N. Griffeth, Y.J. Lin, M.E. Nilson, W.K. Schnure and H. Velthuijsen, “A feature-interaction benchmark for IN and beyond”, IEEE Communication Magazine, Vol.26, No.3, March, 1993, pp.64-69.
6. T.Y. Cheung and Y. Lu, “Detecting and resolving the interaction between telephone features Terminating Call Screening and Call Forwarding by colored Petri-nets”, Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, Vancouver, Oct. 1995, pp.2245-2250.
7. T.Y. Cheung, “Petri nets for protocol engineering”, Journal of Computer Communications, Vol. 19, No. 14, Dec. 1996, pp.1250-1257.
8. T.Y. Cheung and W. Zeng, “Invariant-preserving transformations for the verification of place/transition systems”, IEEE Trans. on System, Man and Cybernetics, Vol. 28, No.1, Jan. 1998, pp.114-221.
9. T.Y. Cheung and Y. Lu, “A use case based approach to sythesis and analysis of flexible manufacturing systems”, Technical Report TR-98-12, Dept. of Computer Science, City University of Hong Kong, 1998.
10. S. Christensen and L. Petrucci, “Towards a modular analysis of coloured Petri nets”, Lecture Notes in Computer Science, Vol. 616, Springer-Verlag, 1992, pp.113-133.
11. J. Ezpeleta and J. M. Colom, “Automatic synthesis of colored Petri nets for the control of FMS”, IEEE Trans. Robotics and Automation, Vol. 13, No.3, June 1997, pp.327-337.
12. S. Haddad, “A reduction theory for coloured nets”, Advances in Petri Nets 1989, Lecture Notes in Computer Science, Vol. 424, Springer-Verlag, 1990, pp.209-235.
13. K. Jensen, “How to find invariants for coloured Petri nets”, Lecture Notes in Computer Science, Vol. 118, Springer-Verlag, 1981, pp.327-338.
14. K. Jensen, “Coloured Petri nets: A high level language for system design and analysis”, Lecture Notes in Computer Science, Vol. 483, Springer-Verlag, 1990, pp.342-416.
15. M.D. Jeng and F. DiCesare, “A review of synthesis techniques for Petri nets with applications to automated manufacturing systems”, IEEE Trans. Systems, Man and Cybernetics, Vol. 23, No.1, Jan/Feb 1993, pp.301-312.
16. K. Jensen, Coloured Petri Net 3, Springer-Verlag, 1997.
17. Y. Kawarasaki and T Ohta, “A new proposal for feature interaction detection and elimination”, In Feature interactions in Telecommunication Systems III (K. E. Cheng and T. Ohta, eds.), IOS Press, 1995, pp. 127-139.
18. I. Koh and F. DiCesare, “Synthesis rules for colored Petri nets and their applications to automated manufacturing system”, Proc. 1991 IEEE International Symposium on Intelligent Control, Aug. Virginia, pp.152-157.
19. C. Lakos, “On the abstraction of coloured Petri nets”, Lecture Notes in Computer Science, Vol. 1248, Springer-Verlag, 1997, pp.42-61.
20. H.K. Lee, “Generalized Petri net reduction method”, IEEE Trans. System, Man, and Cybernetics, Vol. SMC-17, No.2, March/April 1987, pp.297-302.
21. Y. Lu and T. Y. Cheung, “Feature Interactions of the livelock type in IN: a detailed example”, Proc. 7th IEEE Intelligent Network Workshop, Bordeaux, 1998, pp.175-184.
22. M. Nakamura, Y. Kakuda and T. Kikuno, “Petri-net based detection method for non- deterministic feature interactions and its experimental evaluation”, In Feature Interactions in Telecommunications Systems IV (P. Dini, R. Boutaba and L. Logrippo, eds), IOS Press. 1997, pp. 138-152.
23. Y. Narahari and N. Viswanadham, “On the invariants of coloured Petri nets”, Lecture Notes in Computer Science, Vol. 222, Springer-Verlag, 1986, pp.330-345.
24. M. Silva and R. Valette, “Petri nets and flexible manufacturing”, Lecture Notes in Computer Science. Vol. 424. Springer-Verlag, 1990, pp.374-417.
25. M.C. Zhou, F. DiCesare, and A.A. Desrochers, “A hybrid methodology for synthesis of Petri net models for manufacturing systems”,, Vol. 8, No.3, Jun. 1992, pp.350-361.
26. R. Zurawski, “Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions”, IEEE Trans.Industrial Electronics, Vol. 44, No. 3, Jun. 1997, pp. 307-320.