×

兹马思-数学第一资源

有色Petri网。并行系统的建模与验证。(英语) Zbl公司 1215.68153
柏林,邮编:283-972;978-3-642-00284-7/电子书)。十一,384 p(2009年)。
发布者描述:彩色Petri网(CPN)是一种图形语言,用于建模和验证并发和分布式系统,以及并发性起主要作用的其他系统。这类系统的开发尤其具有挑战性,因为其固有的复杂性,如可能的不确定性和大量可能的执行序列。
在这本教科书中,Jensen和Kristensen介绍了CPN建模语言的构造,并详细介绍了相关的分析方法。它们还通过展示选定的工业案例研究,为实际使用CPN提供了一个全面的路线图,这些案例说明了CPN建模和验证在各个应用领域的设计、规范、模拟、验证和实施的实际应用。
他们的演讲主要针对对CPN的实际应用感兴趣的读者。因此,所有的概念和构造都首先通过示例非正式地介绍,然后是正式定义(可以跳过)。这本书是一个理想的适合一个学期的课程在高级本科或研究生水平,并通过其强大的应用实例,也可以为自学服务。一个附带的网站提供额外的材料,如幻灯片、练习和项目提案。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68-01年 与计算机科学有关的介绍性说明(教科书、教程论文等)
68米14 分布式系统
关键词:
并发
PDF格式 BibTeX公司 XML 引用
全文: 内政部