Finding a Minimal Siphon Containing Specified Places in a General Petri Net (Special Section on Description Models for Concurrent Systems and Their Applications)
スポンサーリンク
概要
- 論文の詳細を見る
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. key words: general Petri nets, minimal siphons, polynomial-time algorithms, strongly connectedness, NP-completeness
- 社団法人電子情報通信学会の論文
- 1996-11-25
著者
-
Yamauchi M
Pharmaceutical Research Institute Kyowa Hakko Kogyo Co. Ltd.
-
Yamauchi M
School Of Engineering Kinki University
-
Watanabe Toshimasa
Hiroshima University
-
Watanabe Toshimasa
The Department Of Circuits And Systems Faculty Of Engineering Hiroshima University
-
YAMAUCHI Masahiro
the Department of Circuits and Systems, Faculty of Engineering, Hiroshima University
-
TANIMOTO Shinji
the Department of Circuits and Systems, Faculty of Engineering, Hiroshima University
-
Tanimoto S
Hiroshima Univ. Higashi‐hiroshima
-
TANIMOTO Shinji
the Department of Circuits and Systems
関連論文
- Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets (Special Section on Concurrent Systems Technology)
- Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets
- Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets(Concurrent/Hybrid Systems : Theory and Applications)
- Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants(Special Section on Concurrent Systems Technology)
- Evaluation of the Carrier Potential for the Lipid Dispersion System with Lipophilic Compound
- Role of the Lipid Emulsion on an Injectable Formulation of Lipophilic KW-3902, a Newly Synthesized Adenosine A_1-Receptor Antagonist
- Formulation Development of a Filter-Sterilizable Lipid Emulsion for Lipophilic KW-3902, a Newly Synthesized Adenosine A_1-Receptor Antagonist
- On the Legal Firing Sequence Problem of Petri Nets with Cactus Structure (Special Section of Selected Papers from the 12th Workshop on Circuit and Systems in Karuizawa)
- Assignment of the C K-Shell Photoabsorption Spectrum of CF_3CN Molecule
- Finding a Minimal Siphon Containing Specified Places in a General Petri Net (Special Section on Description Models for Concurrent Systems and Their Applications)
- Finding Minimal Siphons in General Petri Nets (Special Section on Description Models for Concurrent Systems and Their Applications)
- The Legal Firing Sequence Problem of Petri Nets(Special Issue on Algorithm Engineering : Surveys)