インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, ペトリネットの構造的解析において, 良く利用されるインバリアントおよびサイフォン, トラップの効率的な検索アルゴリズムについて報告する. 現在ペトリネットの教科書として数冊の本が発行されており, 構造的解析の手法としてインバリアントやサイフォン等利用する手法を詳しく説明しているものもある. しかし, 教科書にはその解法アルゴリズムまでは載っていない. もちろん, いくつかの論文等にはその高速アルゴリズムに関して論じているものもある。しかし、多くが数学を得意な専門家には理解できたとしても、複雑な記号と理論で、一般には理解してもらえないものである。本論文では、過去10数年間にわたり、ペトリネットに関わってきた経験上で知り得た、有効と思われるアルゴリズムをできるだけ分かり易くかつ周辺理論を含め紹介したいと思う。
- 社団法人電子情報通信学会の論文
- 1997-11-28
著者
関連論文
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 要求仕様の検証における状態検索の効率化方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- プロダクションシステムで記述された通信ソフトウェア仕様の検証方式の一検討
- 状態遷移指向の仕様検証における状態検索の効率化方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- 端末数に非依存となる通信サービスの状態の最大数について
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援