時間ペトリネットの状態空間の縮約について

• 福田 博之

  北陸先端科学技術大学院大学情報科学研究科

• 平石 邦彦

  北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名

• On Reduction of State Spaces of Timed Petri Net

抄録

並行実時間システムでは、並行動作にともなう状態空間爆発や時間の導入により状態数が指数関数的に増加し、その検証を困難なものにしている。本研究では、モデルとして時間ペトリネット(TPN)を用い、まず、状態を等価クラスにまとめて状態空間を縮約していく方法を示す。つぎに、頑強集合(stubborn set)による状態縮約空間の構成法をTPNに適用し、デッドロック等を保存した縮約状態空間を構成する方法を示す。

収録刊行物

• 電子情報通信学会総合大会講演論文集

  電子情報通信学会総合大会講演論文集 1996 335-, 1996-03-11

  一般社団法人電子情報通信学会

詳細情報

• CRID: 1571980077358701312
• NII論文ID: 110003242743
• NII書誌ID: AN10471452
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles