文献
J-GLOBAL ID:200902219774930977
整理番号:09A1152405
正規Petriネットの活性問題の計算量
Computational Complexity of Liveness Problem of Normal Petri Net
著者 (2件):
OHTA Atsushi
(Aichi Prefectural Univ., Aichi-ken, JPN)
,
TSUJI Kohkichi
(Aichi Prefectural Univ., Aichi-ken, JPN)
資料名:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻:
E92-A
号:
11
ページ:
2717-2722
発行年:
2009年11月01日
JST資料番号:
F0699C
ISSN:
0916-8508
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)