文献

J-GLOBAL ID：201302281598347372   整理番号：13A1932179

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

著者 (3件)： 実川充 (信州大 大学院) ,  KAWAMOTO Pauline N. (信州大 工) ,  師玉康成 (信州大 工)
資料名： 情報理論とその応用シンポジウム予稿集(CD-ROM)  (SITA)
巻： 36th  ページ： ROMBUNNO.9.4.4  発行年： 2013年11月19日 
JST資料番号： L4801B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *Petriネット ,  *証明 ,  *自動化 ,  *離散系 ,  離散事象シミュレーション ,  *検証 ,  形式的手法【計算機】 ,  発火【生理】 ,  写像 ,  部分集合 ,  離散事象系 ,  *改変
準シソーラス用語： セルペトリネット ,  形式的検証

分類 (1件)： ネットワーク法  (KA03040X)

タイトルに関連する用語 (5件)： 証明 ,  検証 ,  セル ,  ペトリネット ,  形式化