Art

J-GLOBAL ID：201302281598347372   Reference number：13A1932179

自動証明検証システムMizarによるセルペトリネットの形式化

Author (3)： JITSUKAWA MITSURU (信州大 大学院) ,  KAWAMOTO Pauline N. (信州大 工) ,  SHIDAMA YASUNARI (信州大 工)
Material： 情報理論とその応用シンポジウム予稿集(CD-ROM)  (SITA)
Volume： 36th  Page： ROMBUNNO.9.4.4  Publication year： Nov. 19, 2013 
JST Material Number： L4801B  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Petri net ,  *proof (evidence) ,  *Automation ,  *discrete system ,  discrete event simulation ,  *verification ,  formal method ,  firing (physiology) ,  mapping ,  subset ,  discrete event system ,  *modification
Semi thesaurus term： セルペトリネット ,  formal verification

JST classification (1)： Network methods  (KA03040X)

Terms in the title (5)： 証明 ,  検証 ,  セル ,  ペトリネット ,  形式化