Art

J-GLOBAL ID：200902226179452243   Reference number：04A0521451

The tool TINA-Construction of abstract state spaces for Petri nets and Time Petri nets

ツールTINA ペトリネットと時間ペトリネットのための抽象状態空間作図法

Author (3)： BERTHOMIEU B (LAAS, CNRS, Toulouse, FRA) ,  RIBET P-O (LAAS, CNRS, Toulouse, FRA) ,  VERNADAT F (LAAS, CNRS, Toulouse, FRA)
Material： International Journal of Production Research  (Int J Prod Res)
Volume： 42  Issue： 14  Page： 2741-2756  Publication year： Jul. 15, 2004 
JST Material Number： E0521A  ISSN： 0020-7543  CODEN： IJPRB  Document type： Article
Article type： 原著論文  Country of issue： United Kingdom (GBR)  Language： ENGLISH (EN)

Thesaurus term： *Petri net ,...
Semi thesaurus term： timed Petri nets ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0521451&from=J-GLOBAL&jstjournalNo=E0521A") }}

JST classification (3)： Theory of computation  (JB02000A) ,  Basics of graph theory  (IA02020S) ,  Other system programmings  (JD03070M)

Terms in the title (5)： ツール ,  ペトリネット ,  抽象 ,  状態空間 ,  作図