×

兹马思-数学第一资源

广义随机Petri网建模。(英语) Zbl 0843.68080
并行计算中的威利级数。奇切斯特:威利。第二十一章,第301页。(1995年)。
这本书(300页/页)介绍了一个统一的广义随机Petri网理论和一组来自不同应用领域的例子。它分为两部分。第一部分包括第1-6章,总结了广义随机Petri网(GSPN)理论的主要结果。第2部分(第7-11章)介绍了GSPN方法的应用实例。第一章是对Petri网的非正式介绍。第2章提供了Petri网、Petri网系统和Petri网模型的形式化定义,并总结了经典Petri网理论的一些定义和结果,这些定义和结果对本书其余部分的理论发展非常有用。第三章首先讨论了时间概念在Petri网中的引入,并给出了时间Petri网中优先级重要性的直观证明。第四章给出了带优先级Petri网的形式化定义和理论结果。第五章给出了随机Petri网(SPN)和GSPN的定义,并描述了这些模型的动态行为。第六章介绍了SPN和GSPN模型的分析技术。
本书的第二部分完全致力于应用实例,以展示GSPN方法是如何应用于不同领域的。文中介绍了Petri网在分布式系统性能评估中的应用,并以计算、通信和制造领域为例,采用仿真或数值方法。总之,研究者将发现对概念有一个明确和非正式的解释,必要或有帮助时,再加上正式定义。一般来说,这是一本推荐和有用的书为学生的计算机科学和在Petri网应用领域的初学者和第一个接近GSPN领域的方法。

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