On liveness of extended partially ordered condition nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Volumn E82-A, Issue 11, 1999, Pages 2576-2578

  Ohta, Atsushi ^a   Tsuji, Kohkichi ^b   Hisamura, Tomiji ^b  

^a AICHI PREFECTURAL UNIVERSITY   (Japan)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

Liveness; Petri net; Siphon; Trap

Indexed keywords

EID: 33747418589     PISSN: 09168508     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. T. Murata Pétri nets: Properties analysis and applications Proc. IEEE vol.77 no.4 pp.5-11-580 1989.
2. K. Lautenbach and H. Ridder Liveness in bounded Pétri nets which are covered by T-invariants Lecture Notes in Computer Science vol.815 pp.358-375 1994.
3. K. Barkaoui and J. Pradat-Peyre On livencss and controlled siphons in Pétri nets Lecture Notes in Computer Science vol.1091 pp.57-72 199G.
4. T. Matsumoto and K. Tsuji Structural properties about relation between deadlocks and traps in timed Petri nets Proc. JTC-CSCC'90 pp.626-631 1990.
5. T. Matsumoto and K. Tsuji A useful necessary condition and a simple sufficient condition for liveness of general Petri nets IEICE Trans. vol.E74-A no.10 pp.3124-3132 1991.
6. [C] K. Tsuji and T. Murata On reachability conditions for unrestricted Petri nets Proc. IEEE ISCAS'93 pp.27132716 1993.
7. J. Desel and J. Esparza Free Choice Petri Nets Cambridge University Press 1995
8. A. Ohta and T. Hisamura On a subclass of Petri net where liveness is preserved under.the earliest firing rule IEICE Trans. vol.J76-A no.12 pp.1744-1752 1993.
9. S. Kumagai S. Kodama T. Naito and T. Sawai On the structural properties of extended marked graphs Proc. ISCAS '84 pp.1386-1389 1984.
10. T. Matsumoto K. Saikusa and K. Tsuji The initialmarking-based necessary and sufficient condition for liveness of extended marked graphs Proc. IEICE the Cth Karuizawa Workshop on Circuits and Systems pp.285-290 1993.
11. K. Tsuji and T. Murata Necessary and sufficient condition for reachability of extended marked graphs IEICE Technical Report vol.CST94 no.30 pp. 109-116 1994.
12. W.M.P. van der Aalst E. Kindler and J. Desel Beyond asymmetric choice: A note on some extensions Petri Net Newsletter no.55 pp.3-12 1998.
13. A. Ohta and T. Hisamura A consideration on controlled siphons in Petri nets Proc. SICE United Symposium on Systems and Information '96 pp.189-193 1996.