線形論理を用いたペトリネットの解析と設計に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
本研究ではペトリネットと線形論理の対応関係について考察し, ペトリネットの解析・設計を行うための直観主義的線形論理ILL^*ならびに両者の間の変換規則を定めた. その結果, ペトリネットにおける可達問題が, ILL^*のもとではある論理式が証明可能性の問題と同値であることが示された. また, 対象とする並列システムの仕様をILL^*の論理式で与えたとき, それに基づきながらペトリネットを構成する方法を考案した.
- 社団法人電子情報通信学会の論文
- 1998-01-23
著者
関連論文
- 線形論理を用いたペトリネットの解析と設計に関する考察
- NeO に基づく並行システム解析・設計のための支援システムの開発
- グラフ構造に基づく計算モデル構築システムの開発 : モデル変換系の自動生成
- 並行システムモデルNeOとその解析
- 離散事象系モデリングの一手法について
- 記号処理教育用言語 Scheme の開発と弓削丸への応用
- 変換ネットの自己同型群
- 変換ネットの自己同型群
- 剰余群を表現するペトリネットの可達性について