WEKO3
アイテム
ペトリネットによる制御用ルールの検証
http://hdl.handle.net/10445/5444
http://hdl.handle.net/10445/54446ae12e5d-9f9c-4370-9e2f-f258768a8dcd
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2010-12-03 | |||||
| タイトル | ||||||
| タイトル | ペトリネットによる制御用ルールの検証 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 著者 |
村田, 智洋
× 村田, 智洋× 薦田, 憲久× 大場, みち子 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 制御ルールの完全性をペトリネットモデルの状態遷移を利用して検証する方式を提案した。 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 第26回ＳＩＣＥ学術講演会、JSS1-1 | |||||
| 書誌情報 | p. 829-832, 発行日 1984-01 | |||||
| 研究業績種別 | ||||||
| 値 | 国内学会/Domestic Conference | |||||
| 単著共著 | ||||||
| 値 | 共著/joint | |||||
