王家村 定时Petri网。理论与应用。 （英语） Zbl 0924.68147号 Kluwer离散事件动态系统国际系列. 9. 多德雷赫特：Kluwer学术出版社。第296页（1998年）。 这是一本非常容易阅读的专著，它全面介绍了定时Petri网及其应用。它首先（第1章）检查离散事件动态系统的特性和可用的性能模型。接下来介绍了标准（即无时间）Petri网的基本原理（第2章），包括定义、触发规则、表示能力、属性和分析方法，紧接着介绍了确定性时间转移Petri网理论（第3章），确定性时间位置Petri网和确定性时间弧Petri网。前三章可以被视为引言部分。第4章是本书的关键章节，介绍了时间Petri网。提出了枚举分析技术和一组约简规则，并给出了组成模型。接下来，这些模型将用于证明指挥控制系统和柔性制造系统的特性。下一章（第5章）讨论了随机时间Petri网的定义、触发策略、内存属性和随机过程。下一章（第6章）介绍了广义随机Petri网的分析。考虑了三种分析方法，并介绍了它们在以太网协议中的应用。接下来的两章专门讨论高级随机Petri网。分析了有色随机Petri网、扩展随机Petri网上和确定性随机Petri网络。最后一章探讨了任意随机Petri网的分析技术。详细描述了混合状态分析方法。这本书写得很好，读起来很容易，这是第一本完全致力于时间Petri网的专著。审核人：R.Janicki（汉密尔顿/安大略省） 引用于1审查引用于19文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68-01 与计算机科学有关的介绍性说明（教科书、教程论文等） 关键词：确定性时间转移Petri网;随机Petri网 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}，时间Petri网。理论与应用。多德雷赫特：Kluwer学术出版社（1998；Zbl 0924.68147）