内容説明
本書は、離散事象システムの動作特徴である並行性、非同期性、非決定性を最も明示的に表現する数学モデルであるペトリネットを中心に、その基礎理論から実システムへの応用までを学部上級から大学院レベルを対象に述べたものである。
目次
１ ペトリネットと離散事象システム記述
２ ネット理論の基礎
３ 離散事象システムの構造的性質
４ 離散事象システムの階層化とネット表現
５ 離散事象システムへの応用―ネットツールと応用例
６ ペトリネット応用の動向
７ シーケンス制御への応用
８ 生産システムの計画への応用
９ 情報処理の分野で応用
１０ 応用面からのペトリネット理論の課題と期待
