On some analysis properties of colored petri net using underlying net

Midwest Symposium on Circuits and Systems

Volumn 3, Issue , 2004, Pages

  Ohta, Atsushi ^a   Tsuji, Kohkichi ^a  

^a AICHI PREFECTURAL UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LARGE SCALE SYSTEMS; NUMBER THEORY; PROBLEM SOLVING; SET THEORY; THEOREM PROVING; TREES (MATHEMATICS);

COLORED PETRI NETS; CONCURRENT SYSTEMS; NONNEGATIVE INTEGERS;

PETRI NETS;

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

References (12)

1. Tadao Murata, "Petri nets: properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
2. Kurt Jensen, Coloured Petri nets - basic concepts, analysis methods and practical use. Volume I, basic concepts, EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
3. Kurt Jensen, Coloured Petri nets - basic concepts, analysis methods and practical use. Volume 2, analysis methods, EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1994.
4. Younes Souissi, "On liveness preservation by composition of nets via a set of places," in Application and Theory of Petri Nets 1991, vol. 524 of Lecture Notes in Computer Science, pp. 277-295. Springer Verlag, 1991.
5. G. Memmi and J. Vautherin, "Analysing nets by the invariant method," in Application and Theory of Petri Nets 1986, vol. 254 of Lecture Notes in Computer Science, pp. 300-336. Springer Verlag, 1986.
6. Yoshihiro Ueda, Akira Takura, and Tadashi Ohta, "Static analysis method of communication service specification," in Proceedings of 13th Workshop on Discrete Event Systems, 1994, pp. 29-34.
7. Yoshihiro Ueda, Akira Takura, and Tadashi Ohta, "A verification of deadlock on communication system service specifications," IEICE Technical Report, , no. 332, pp. 71-76, 1994.
8. Qing Xing Lin, Kiyohiko Nakamura, and Atsunobu Ichikawa, "Liveness analysis of colored marked graph," in Proceedings of 4th Workshop on Discrete Event Systems, 1990, pp. 81-86.
9. Sin'ichiro Nishi, Satoshi Taoka, and Toshimasa Watanabe, "A heuristic algorithm fmdb for the minimum initial marking problem of petri nets," IEICE Transaction on Fundamentals, vol. E84-A, no. 3, pp. 771-780, 2001.
10. Laura Recalde, Enrique Teruel, and Manuel Silva, "{SC}*ecs: a class of modular and hierarchical cooperating systems," in Application and Theory of Petri Nets 1996, Jonathan Billington and Wolfgang Reisig, Eds., vol. 1091 of Lecture Notes in Computer Science, pp. 440-459. Springer Verlag, 1996.
11. Kamel Barkaoui and Jean-François Pradat-Peyre, "On liveness and controlled siphons in petri nets," in Application and Theory of Petri Nets 1996, Jonathan Billington and Wolfgang Reisig, Eds., vol. 1091 of Lecture Notes in Computer Science, pp. 57-72. Springer Verlag, 1996.
12. Atsushi Ohta and Tomiji Hisamura, "Poc net, a subclass of petri sets. and its application to timed petri nets," International Journal of Systems Science, vol. 24, no. 3, pp. 539-552, 1993.