越來越大、越來越復雜的係統,使得應用在硬件和軟件的規範與驗證中的形式化方法越來越重要。本書旨在通過Petri網的形式化過程來闡述形式化方法中的相關進展。書中采用瞭許多實例,它們來源於不同的應用領域,例如柔性製造係統、工作流管理係統和電信係統。本書的內容涵蓋瞭一個係統在設計和實現的整個生命周期中的幾個主要階段,即規範、用於證明的模型驗證技術、性質分析、代碼生成和模型的執行。書中對這些技術及其支持工具進行瞭詳細的討論,並且分析瞭在實際應用中可能遇到的問題。
發表於2024-11-26
係統工程Petri網 2024 pdf epub mobi 電子書 下載
圖書標籤: petri 係統工程 軟件理論 Theory Academic
係統工程Petri網 2024 pdf epub mobi 電子書 下載