文献
J-GLOBAL ID:200902151230018774
整理番号:93A0879444
Almost General Petri Nets(N<sub>KT</sub>)が初期マーキング下で活性であるための必要十分条件 Live MBTRsを含まない場合(<span style=text-decoration:overline>N</span><sub>KT</sub>)
The Initial-Marking-Based Necessary and Sufficient Liveness Condition for Almost General Petri Nets(N<sub>KT</sub>) - the case of <span style=text-decoration:overline>N<sup>~</sup></span><sub>KT</sub> which is the nets N<sub>KT</sub> without live MBTRs.
著者 (3件):
MATSUMOTO T
(Fukui Univ., Fukui, JPN)
,
SAIKUSA K
(Fukui Univ., Fukui, JPN)
,
TSUJI K
(Fukui Univ., Fukui, JPN)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
93
号:
253(CAS93 56-73)
ページ:
125-132
発行年:
1993年09月30日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)