Petri net is an efficient model for concurrent systems. Liveness is one of analysis properties of Petri net. It concerns with potential fireability of transitions. Many studies have been done on liveness of Petri nets and subclasses are suggested with liveness criteria. In this paper, extended partially ordered condition (EPOC) net is suggested and its liveness is studied. Equivalence of liveness and place-liveness is derived. Analysis using siphon and traps are done. Liveness under the earliest firing rule, where transition must fire as soon as it is enabled, is also studied.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Atsushi OHTA, Kohkichi TSUJI, Tomiji HISAMURA, "On Liveness of Extended Partially Ordered Condition Nets" in IEICE TRANSACTIONS on Fundamentals,
vol. E82-A, no. 11, pp. 2576-2578, November 1999, doi: .
Abstract: Petri net is an efficient model for concurrent systems. Liveness is one of analysis properties of Petri net. It concerns with potential fireability of transitions. Many studies have been done on liveness of Petri nets and subclasses are suggested with liveness criteria. In this paper, extended partially ordered condition (EPOC) net is suggested and its liveness is studied. Equivalence of liveness and place-liveness is derived. Analysis using siphon and traps are done. Liveness under the earliest firing rule, where transition must fire as soon as it is enabled, is also studied.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e82-a_11_2576/_p
Copy
@ARTICLE{e82-a_11_2576,
author={Atsushi OHTA, Kohkichi TSUJI, Tomiji HISAMURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={On Liveness of Extended Partially Ordered Condition Nets},
year={1999},
volume={E82-A},
number={11},
pages={2576-2578},
abstract={Petri net is an efficient model for concurrent systems. Liveness is one of analysis properties of Petri net. It concerns with potential fireability of transitions. Many studies have been done on liveness of Petri nets and subclasses are suggested with liveness criteria. In this paper, extended partially ordered condition (EPOC) net is suggested and its liveness is studied. Equivalence of liveness and place-liveness is derived. Analysis using siphon and traps are done. Liveness under the earliest firing rule, where transition must fire as soon as it is enabled, is also studied.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - On Liveness of Extended Partially Ordered Condition Nets
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2576
EP - 2578
AU - Atsushi OHTA
AU - Kohkichi TSUJI
AU - Tomiji HISAMURA
PY - 1999
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E82-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1999
AB - Petri net is an efficient model for concurrent systems. Liveness is one of analysis properties of Petri net. It concerns with potential fireability of transitions. Many studies have been done on liveness of Petri nets and subclasses are suggested with liveness criteria. In this paper, extended partially ordered condition (EPOC) net is suggested and its liveness is studied. Equivalence of liveness and place-liveness is derived. Analysis using siphon and traps are done. Liveness under the earliest firing rule, where transition must fire as soon as it is enabled, is also studied.
ER -