系統工程Petri網

內容介紹越來越大、越來越複雜的系統，使得套用在硬體和軟體的規範與驗證中的形式化方法越來越重要。 本書的內容涵蓋了一個系統在設計和實現的整個生命周期中的幾個主要階段，即規範、用於證明的模型驗證技術、性質分析、代碼生成和模型的執行。 書中對這些技術及其支持工具進行了詳細的討論，並且分析了在實際套用中可能遇到的問題。

內容介紹

越來越大、越來越複雜的系統，使得套用在硬體和軟體的規範與驗證中的形式化方法越來越重要。本書旨在通過Petri網的形式化過程來闡述形式化方法中的相關進展。書中採用了許多實例，它們來源於不同的套用領域，例如柔性製造系統、工作流管理系統和電信系統。本書的內容涵蓋了一個系統在設計和實現的整個生命周期中的幾個主要階段，即規範、用於證明的模型驗證技術、性質分析、代碼生成和模型的執行。書中對這些技術及其支持工具進行了詳細的討論，並且分析了在實際套用中可能遇到的問題。