文献
J-GLOBAL ID:200902226179452243
整理番号:04A0521451
ツールTINA ペトリネットと時間ペトリネットのための抽象状態空間作図法
The tool TINA-Construction of abstract state spaces for Petri nets and Time Petri nets
著者 (3件):
BERTHOMIEU B
(LAAS, CNRS, Toulouse, FRA)
,
RIBET P-O
(LAAS, CNRS, Toulouse, FRA)
,
VERNADAT F
(LAAS, CNRS, Toulouse, FRA)
資料名:
International Journal of Production Research
(International Journal of Production Research)
巻:
42
号:
14
ページ:
2741-2756
発行年:
2004年07月15日
JST資料番号:
E0521A
ISSN:
0020-7543
CODEN:
IJPRB
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)