:
離散事象システムとペトリネット
ペトリネット入門
太田 淳
1995年4月18日
離散事象システムとペトリネット
ペトリネット
ペトリネットの定義
トランジションの発火
同時進行と競合
ペトリネットとモデル化
ペトリネットの解析
挙動的解析
発火系列
可達集合
可達問題
活性
有界性
構造的解析
接続行列
Tインバリアント
Sインバリアント
ペトリネットのサブクラス
マークグラフ
状態機械
自由選択ネット
参考文献
問題略解
この文書について...
ohta@ist.aichi-pu.ac.jp