n安全タイムペトリネットの発火規則について

スポンサーリンク

概要

論文の詳細を見る
タイムペトリネット(time Petri nets)は、ペトリネットの発火規則に時間制約を与えたもので、コンカレントリアルタイムシステムのモデル化能力に富んでいる。Merlinが最初にプロトコルの検証に用いることを提案し、それ以降、時間制約を持つさまざまなシステムのモデル化,形式的検証に用いられている。しかし、ほとんどの研究はブレースに入るトークンの数の関係を制限した場合に主眼を置いており、一般的なタイムペトリネットについてはあまり議論されていない。そこで本稿では、タイムペトリネットの発火規則の一般化について議論する。
社団法人電子情報通信学会の論文
1996-03-11

著者

関連論文

もっと見る

スポンサーリンク