IEICE TRANSACTIONS on Fundamentals
An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
Summary :
The structural necessary and sufficient condition for "the transition-liveness means the place-liveness and vice-versa" of a subclass NII of general Petri nets is given as "the place and transition live Petri net, or PTL net, ÑII". Furthermore, "the one-token-condition Petri net, or OTC net,
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E77-A No.1 pp.291-301
- Publication Date
- 1994/01/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- PAPER
- Category
- Graphs, Networks and Matroids
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
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.
Cite this
Copy
Tadashi MATSUMOTO, Kohkichi TSUJI, "An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions" in IEICE TRANSACTIONS on Fundamentals,
vol. E77-A, no. 1, pp. 291-301, January 1994, doi: .
Abstract: The structural necessary and sufficient condition for "the transition-liveness means the place-liveness and vice-versa" of a subclass NII of general Petri nets is given as "the place and transition live Petri net, or PTL net, ÑII". Furthermore, "the one-token-condition Petri net, or OTC net,
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e77-a_1_291/_p
Copy
@ARTICLE{e77-a_1_291,
author={Tadashi MATSUMOTO, Kohkichi TSUJI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions},
year={1994},
volume={E77-A},
number={1},
pages={291-301},
abstract={The structural necessary and sufficient condition for "the transition-liveness means the place-liveness and vice-versa" of a subclass NII of general Petri nets is given as "the place and transition live Petri net, or PTL net, ÑII". Furthermore, "the one-token-condition Petri net, or OTC net,
keywords={},
doi={},
ISSN={},
month={January},}
Copy
TY - JOUR
TI - An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 291
EP - 301
AU - Tadashi MATSUMOTO
AU - Kohkichi TSUJI
PY - 1994
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E77-A
IS - 1
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - January 1994
AB - The structural necessary and sufficient condition for "the transition-liveness means the place-liveness and vice-versa" of a subclass NII of general Petri nets is given as "the place and transition live Petri net, or PTL net, ÑII". Furthermore, "the one-token-condition Petri net, or OTC net,
ER -
English
