- 著者
-
堀本 浩
猪股 俊光
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. CST, コンカレント工学
- 巻号頁・発行日
- vol.97, no.507, pp.21-28, 1998-01-23
本研究ではペトリネットと線形論理の対応関係について考察し, ペトリネットの解析・設計を行うための直観主義的線形論理ILL^*ならびに両者の間の変換規則を定めた. その結果, ペトリネットにおける可達問題が, ILL^*のもとではある論理式が証明可能性の問題と同値であることが示された. また, 対象とする並列システムの仕様をILL^*の論理式で与えたとき, それに基づきながらペトリネットを構成する方法を考案した.