离散、连续和混合Ｐｅｔｒｉ网络
René David, rene,david@lag.ensieg.inpg.fr
Hassane Alla, hassane.alla@inpg.fr
Discrete, Continuous,
and Hybrid Petri Nets
2005, 524pp.
Hardcover EUR 99.95
ISBN 3-540-22480-7
Carl Adam Petri是当代的德国数学家，在上一世纪60年代他定义了描述条件与事件之间关系的通用数学模型，随后从事网络理论研究。工程师们把这个称为Petri网络的模型用于模拟离散事件的动力系统，计算机科学和自动控制应用经常要处理这种动力系统。本书从Petri网络的基本概念出发，阐述连续和混合Petri网络的精确认识，然后用许多例子和详细的图来解释理论，使读者容易理解。
全书分为7章和15个附录，第1章Petri网络基础，叙述基本概念、特别的Petri网络和一些概念的建模；第2章Petri网络的性质，论述主要性质的表达和寻找Petri网络的性质；第3章非自治Petri网络，讨论同步Petri网络、注释Petri网络和定时Petri网络；第4章自治连续和混合Petri网络，论述自治连续Petri网络、自治混合Petri网络、自治连续和混合Petri网络的性质和扩展的Petri网络；第5章定时连续Petri网络，叙述模型的定义、不相容、速度计算的算法、性质和最大的时间速度函数；第6章定时混合Petri网络，讨论模型的定义、算法、模型的变量和扩展的定时混合Petri网络；第7章速度与C\|标记相关的混合Petri网络，论述用变速混合Petri网络（VHPNs）来近似定时离散系统、渐近混合Petri网络（AHPNs）和其他模型。附录A正则表达式和语言；附录B不相容的判定；附录C图论的要点；附录D事件的代数；附录E关于Grafcet工具；附录F同步Petri网络的模拟能力；附录F同步Petri网络的模拟能力；附录G定时Petri网络是同步Petri网络的特殊情况；附录H时间Petri网络；附录I连续Petri网络基本方程的线性度；附录J标记0＋和非标准分析；附录K两个变换的共享；附录L不相容中的关系图；附录M片状最大等速度；附录N从混合Petri网络到混合自动机；附录O定时Petri网络和模拟电源。最后对每一章均给出了一些习题。
本书内容丰富，是一本很好的参考书，可供工程和计算机科学等领域的工程师、研究人员、大学教师、大学生和研究生参考和阅读。
吴永礼，研究员
(中国科学院力学研究所)
Wu Yongli, Professor
(Institute of Mechanics,the Chinese Academy of Sciences)