Art

J-GLOBAL ID：201702217848986065   Reference number：17A0034889

有界なペトリネットのサブクラスに関する状態数計算問題の複雑さ

Author (3)： FUKAYA YUKI (愛知県大) ,  OTA JUN (愛知県大) ,  TSUJI KOKICHI (愛知県大)
Material： 計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM)  (計測自動制御学会システム・情報部門学術講演会予稿集(CD-ROM))
Volume： 2016  Page： ROMBUNNO.GS05-3  Publication year： Dec. 06, 2016 
JST Material Number： F0428D  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Petri net ,  *automaton ,  computational complexity ,  discrete system ,  modeling ,  reachability ,  state space method ,  system model ,  NP hard ,  discrete event system
Semi thesaurus term： discrete event system ,  state space method

JST classification (2)： Theory of computation  (JB02000A) ,  Automaton theory  (JB04000O)

Terms in the title (7)： 有界 ,  ペトリネット ,  サブ ,  クラス ,  計算 ,  問題 ,  複雑さ