Coloured Petri Nets pdf epub mobi txt 电子书 下载 2026
- 计算机科学
- Petri Nets
- Coloured Petri Nets
- Formal Methods
- Concurrency
- Modelling
- Verification
- Distributed Systems
- Computer Science
- Automata Theory
- Software Engineering
具体描述
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.
作者简介
目录信息
读后感
用户评价
Easy to read. A book with detailed explanations and coherent examples.
评分Easy to read. A book with detailed explanations and coherent examples.
评分Easy to read. A book with detailed explanations and coherent examples.
评分Easy to read. A book with detailed explanations and coherent examples.
评分Easy to read. A book with detailed explanations and coherent examples.
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有