Art

J-GLOBAL ID：201502247996631030   Reference number：15A0203939

時間ペトリネットの滞留無し性に関する一考察

Author (3)： MIZUNO SHOTA (JR東海) ,  OTA JUN (愛知県大) ,  TSUJI KOKICHI (愛知県大)
Material： 計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM)  (計測自動制御学会システム・情報部門学術講演会予稿集(CD-ROM))
Volume： 2014  Page： ROMBUNNO.SS7-6  Publication year： Nov. 21, 2014 
JST Material Number： F0428D  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Petri net ,  *discrete system ,  *real time processing ,  token ,  incidence matrix ,  network structure ,  sufficient condition ,  transfer ,  synchronous control ,  *discrete event system
Semi thesaurus term： *timed Petri nets ,  state transition ,  連立不等式

JST classification (3)： Theory of computation  (JB02000A) ,  System models  (IB02000Z) ,  Operating systems  (JD03020J)

Terms in the title (2)： ペトリネット ,  滞留