×

广义随机Petri网建模。 (英语) Zbl 0843.68080号

并行计算中的Wiley系列。奇切斯特:威利。xxi,301页(1995年)。
这本书(300页)介绍了广义随机Petri网的统一理论以及来自不同应用领域的一组示例。它分为两部分。第一部分包括第1-6章,总结了广义随机Petri网(GSPN)理论的主要结果。第2部分(第7-11章)介绍了GSPN方法的应用示例。第1章包含对Petri网的非正式介绍。第2章提供了Petri网、Petri网系统和Petri网模型的正式定义,并总结了经典Petri网理论的一些定义和结果,这些定义和结果对本书其余部分的理论发展最为有用。第3章首次讨论了在Petri网中引入时态概念,并为时间Petri网优先级的重要性提供了直观的证明。第4章给出了具有优先级的Petri网的形式化定义和理论结果。第5章给出了随机Petri网(SPN)和GSPN的定义,并描述了这些模型的动态行为。第6章阐述了SPN和GSPN模型的分析技术。
本书的第二部分完全致力于应用示例,以展示如何在不同领域使用GSPN方法。它介绍了Petri网在分布式系统性能评估中的应用,并以计算、通信和制造领域的实例为例,使用仿真或数值方法。总之,当必要或有帮助时,研究者将发现对概念的明确和非正式解释,然后是正式定义。一般来说,它是一本推荐使用的书,适用于计算机科学专业的学生和Petri网应用领域的初学者以及GSPN领域的第一种方法。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68-01 与计算机科学相关的介绍性说明(教科书、教程论文等)
PDF格式BibTeX公司 XML格式引用