文献
J-GLOBAL ID:200902042623147556
整理番号:91A0551139
1-有界コンフリクト-フリーPetriネットのためのトランジションの一対の並行性を決定するための多項式時間アルゴリズム
A Polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets.
著者 (1件):
YEN H-C
(National Taiwan Univ., Taipei, TWN)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
38
号:
2
ページ:
71-76
発行年:
1991年04月26日
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
オランダ (NLD)
言語:
英語 (EN)