On Liveness of Extended Partially Ordered Condition Nets (Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 社団法人電子情報通信学会の論文
- 1999-11-25
著者
-
Ohta A
Aichi Prefectural Univ. Aichi‐ken Jpn
-
OHTA Atsushi
Faculty of Engineering, Kansai University
-
TSUJI Kohkichi
Faculty of Information Science and Technology, Aichi Prefectural University
-
HISAMURA Tomiji
School of Science and Engineering, Waseda University
-
Tsuji K
Aichi Prefectural Univ. Aichi‐ken Jpn
-
Tsuji Kohkichi
Faculty Of Engineering Fukui University
-
Hisamura T
School Of Science And Engineering Waseda University
-
Hisamura Tomiji
School Of Science And Engineering Waseda University
関連論文
- Optical Resolution by Preferential Crystallization of(RS)-α-Amino-γ-butyrolactone Hydrochloride
- On Liveness of Extended Partially Ordered Condition Nets (Special Section on Concurrent Systems Technology)
- Necessary and Sufficient Condition of Structural Liveness for General Petri Nets : Virtual Deadlock-Trap Properties
- A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets (Special Section on Net Theory and Its Applications)
- Computational Complexity of Liveness Problem of Normal Petri Net
- On Liveness of Time POC Nets with the Static Fair Condition
- On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
- Special Section on Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa
- An Equivalence Net-Condition between Place-Liveness and Transition-Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
- Verifying Structurally Weakly Persistent Net Is Co-NP Complete
- Special Section on Concurrent/Hybrid Systems : Theory and Applications
- Facile Production of D-Histidine by Asymmetric Transformation of L-Histidine.