On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
スポンサーリンク
概要
著者
-
HISAMURA Tomiji
School of Science and Engineering, Waseda University
-
Hisamura Tomiji
School Of Science And Engineering Waseda University
-
OHTA Atsushi
School of Science and Engineering, Waseda University
-
OHBA Toshiyuki
School of Science and Engineering, Waseda University
-
Ohba T
Univ. Tokyo Tokyo Jpn
-
Ohta Atsushi
School Of Science And Engineering Waseda University
-
Ohba Toshiyuku
School of Science and Engineering, Waseda University
-
OHTA Atsushi
School of Information Science and Technology, Aichi Prefectural University
関連論文
- On Liveness of Extended Partially Ordered Condition Nets (Special Section on Concurrent Systems Technology)
- On Liveness of Time POC Nets with the Static Fair Condition
- On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
- The Liveness of WS3PR: Complexity and Decision