Matsumoto Tadashi | Faculty Of Engineering Fukui University
スポンサーリンク
概要
関連著者
-
Matsumoto Tadashi
Faculty Of Engineering Fukui University
-
MATSUMOTO Tadashi
Faculty of Engineering, Fukui University
-
Tsuji Kohkichi
Faculty Of Engineering Fukui University
-
Saikusa Ken
Faculty Of Engineering Fukui University
-
MATSUMOTO Tadashi
Wireless Laboratories, NTT DoCoMo, Inc.
-
Tsuji K
Fukui Univ. Fukui‐shi Jpn
-
Matsumoto T
Univ. Fukui Fukui‐shi Jpn
-
TSURUTA Yasuhiko
Faculty of Engineering, Fukui University
-
Saikusa Ken
Faculty of Engineering, Fukui University
-
Tsuruta Yasuhiko
Faculty Of Engineering Fukui University
-
Yamazaki Shinichi
Faculty Of Environmental Science And Technology Okayama University
-
Yamazaki Shinichi
Faculty Of Engineering Fukui University
-
Yamazaki Shinichi
Faculty of Bioresources, Mie University
著作論文
- Necessary and Sufficient Condition for Liveness of Asymmetric Choice Petri Nets (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
- Necessary and Sufficient Condition of Structural Liveness for General Petri Nets : Virtual Deadlock-Trap Properties
- Necessary and Sufficient Condition of Structural Liveness for General Petri Nets : Real Deadlock-Trap Properties
- An Equivalence Net-Condition between Place-Liveness and Transition-Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions