"本书《并发系统的监督控制:Petri网结构方法》由Marian V. Iordache和Panos J. Antsaklis撰写,由Birkhäuser出版社出版。本书深入探讨了使用Petri网对并发系统进行监督控制的理论与方法。全书分为十章,内容覆盖了Petri网的基础知识、监督理论、并发性描述以及混合系统中的应用。"
本书首先介绍了Petri网的基本概念,这是一种用于建模并发和同步行为的图形工具。在第二章,读者将学习到Petri网的构成元素,如地方(places)、转换(transitions)以及它们之间的弧线(arcs),以及如何通过这些元素来表示系统的状态变迁。
第三章重点讲解了Petri网的监督理论,阐述了如何设计控制器来确保系统的运行符合预设的行为规范。这包括了确定性和非确定性系统的控制策略,并讨论了如何通过监控和干预来防止系统进入非法状态。
第四章扩展了系统行为规范的表示范围,允许更复杂的监督设置。这可能涉及到更精细的控制策略和更广泛的系统行为描述。
第五章将监督控制理论扩展到了分布式环境,提出了如何通过分散的控制器实现全局的系统规范。这种分布式监督控制对于大型并发系统尤其重要,因为它们通常需要多个局部决策来协调整体行为。
第六章对Petri网的活性(liveness)属性进行了研究,这是评估系统是否能够继续运行而不陷入死锁的关键特性。本章提供了关于部分转换子集活性的新结果,以及关于Petri网死锁的分析。
第七章提出了一种预防死锁或强制执行T-活性的算法。这种方法有助于保证系统在各种操作条件下都能保持活性。
第八章进一步扩展了上一章的算法,从多个角度优化了死锁预防和活性保证的策略。
第九章将离散事件系统(DES)框架扩展到描述混合系统的并发性,使理论能够处理具有连续和离散行为的复杂系统。
第十章介绍了一种混合系统方法,用于将并发的混合系统抽象到第九章所述的DES框架中。这种方法简化了对混合系统的分析和控制设计。
这本书提供了一个深入的框架,用于理解和应用Petri网进行并发系统的监督控制,涵盖了从基本理论到实际应用的广泛内容,对系统工程、控制理论和计算机科学领域的研究者和实践者都具有很高的参考价值。