文献

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)

抄録/ポイント： TINA(TIme Petri Net Analyser)と...

シソーラス用語： *Petriネット ,...
準シソーラス用語： 時間付きPetriネット ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0521451&from=J-GLOBAL&jstjournalNo=E0521A") }}

分類 (3件)： 計算理論  (JB02000A) ,  グラフ理論基礎  (IA02020S) ,  その他のシステムプログラミング  (JD03070M)

タイトルに関連する用語 (5件)： ツール ,  ペトリネット ,  抽象 ,  状態空間 ,  作図