Finding a Minimal Siphon Containing Specified Places in a General Petri Net
Summary :
A minimal siphon (or alternatively a structural deadlock) of a Petri net is defined as a minimal set S of places such that existence of any edge from a transition t to a place of S implies that there is an edge from some place of S to t. The subject of the paper is to find a minimal siphon containing a given set of specified places of a general Petri net.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E79-A No.11 pp.1825-1828
- Publication Date
- 1996/11/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section LETTER (Special Section on Description Models for Concurrent Systems and Their Applications)
- Category
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
Masahiro YAMAUCHI, Shinji TANIMOTO, Toshimasa WATANABE, "Finding a Minimal Siphon Containing Specified Places in a General Petri Net" in IEICE TRANSACTIONS on Fundamentals,
vol. E79-A, no. 11, pp. 1825-1828, November 1996, doi: .
Abstract: A minimal siphon (or alternatively a structural deadlock) of a Petri net is defined as a minimal set S of places such that existence of any edge from a transition t to a place of S implies that there is an edge from some place of S to t. The subject of the paper is to find a minimal siphon containing a given set of specified places of a general Petri net.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e79-a_11_1825/_p
Copy
@ARTICLE{e79-a_11_1825,
author={Masahiro YAMAUCHI, Shinji TANIMOTO, Toshimasa WATANABE, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Finding a Minimal Siphon Containing Specified Places in a General Petri Net},
year={1996},
volume={E79-A},
number={11},
pages={1825-1828},
abstract={A minimal siphon (or alternatively a structural deadlock) of a Petri net is defined as a minimal set S of places such that existence of any edge from a transition t to a place of S implies that there is an edge from some place of S to t. The subject of the paper is to find a minimal siphon containing a given set of specified places of a general Petri net.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - Finding a Minimal Siphon Containing Specified Places in a General Petri Net
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1825
EP - 1828
AU - Masahiro YAMAUCHI
AU - Shinji TANIMOTO
AU - Toshimasa WATANABE
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E79-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1996
AB - A minimal siphon (or alternatively a structural deadlock) of a Petri net is defined as a minimal set S of places such that existence of any edge from a transition t to a place of S implies that there is an edge from some place of S to t. The subject of the paper is to find a minimal siphon containing a given set of specified places of a general Petri net.
ER -
English
