类型：
成立时间：
出版社特色：
中国工信出版集团 电子工业出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
系统工程Petri网书籍相关信息
内容简介：
越来越大、越来越复杂的系统，使得应用在硬件和软件的规范与验证中的形式化方法越来越重要。本书旨在通过Petri网的形式化过程来阐述形式化方法中的相关进展。书中采用了许多实例，它们来源于不同的应用领域，例如柔性制造系统、工作流管理系统和电信系统。本书的内容涵盖了一个系统在设计和实现的整个生命周期中的几个主要阶段，即规范、用于证明的模型验证技术、性质分析、代码生成和模型的执行。书中对这些技术及其支持工具进行了详细的讨论，并且分析了在实际应用中可能遇到的问题。
全格式电子版 - 免费下载