文献
J-GLOBAL ID:200902051976739146
整理番号:84A0479704
一般ペトリネットの到達可能性問題に対する1アルゴリズム
An algorithm for the general Petri net reachability problem.
著者 (1件):
MAYR E W
(Stanford Univ., California)
資料名:
SIAM Journal on Computing (Society for Industrial and Applied Mathematics)
(SIAM Journal on Computing (Society for Industrial and Applied Mathematics))
巻:
13
号:
3
ページ:
441-460
発行年:
1984年08月
JST資料番号:
D0944A
ISSN:
0097-5397
CODEN:
SMJCAT
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)