Petri网导论[按需印刷]

　　本书是作者在从事petri网理论课程教学的基础上撰写而成，主要介绍petri网的基本原理和基本分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用，同时也包含了一部分作者自己的研究成果。主要内容包括：petri网的基本概念、基本性质和基本分析方法，各种常见的petri网的变型模型，通用网论中并发论和同步论的基本内容等。.
　　 本书可作为高等院校计算机专业、自动化专业的研究生或高年级本科生教材，也可供相关技术人员参考。..
　　 本书是作者在从事petri网理论课程教学的基础上写成的，主要介绍petri网的基本原理和分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用，同时也包含了一部分作者自己的研究成果。...

前言
作者简价
第1章 网与网系统
1．1 网与子网.
1．2 标识网与网系统
1．3 库所／变迁系统与加权petri网
1．4 基本网系统与条件事件系统
1．5 并发与冲突
1．5．1 并发
1．5．2 冲突
1．5．3 一般petri网中的并发与冲突
1．6 系统的petri网模型
思考与练习(1)
参考文献(1)
第2章 petri网的动态性质
2．1 可达性、可逆性和可覆盖性
2．2 有界性和安全性
2．3 活性
2．4 公平性
2．5 持续性

　　Petri网是分布式系统的建模和分析工具。它特别便于描述系统中进程或部件的顺序、并发、冲突以及同步等关系。 同其他系统网模型相比较，对真并发的恰切描述是Petri网的独特优势。.
　　Petri网的概念是1962年由德国科学家Carl Adam Petri在他的博士论文“Kommunikation mit Automaten”(用自动机通信)中首先提出来的。为了使并发这一概念直观化，论文中提出了一种用于描述物理进程和物理系统的组合的网状模型。由此发展起来的一类系统模型，后来被人们称之为Petri网。20世纪70年代初，Petri网的概念和思想方法受到欧美学者的广泛关注。对Petri网的各种性质的研究，以及把Petri网应用于各种实际系统的建模和性质分析的论文和研究报告开始大量涌现。经过40多年的发展，不仅Petri网理论本身已形成一门系统的、独立的学科分支，而且Petri网在计算机科学技术(如操作系统、并行编译、网络协议、软件工程、形式语义、人工智能等)，自动化科学技术(如离散事件动态系统、混杂系统等)，机械设计与制造(如柔性制造系统)，以及其他许多科学技术领域，都得到广泛的应用。Petri网理论的发展必将为信息论奠定坚实的理论基础。
　　作为一种系统模型，Petri网不仅可以刻画系统的结构，而且可以描述系统的动态行为(如系统的状态变化等)。Petri网既有直观的图形表示，又可以引入许多数学方法对其性质进行分析。对于复杂的系统，Petri网可以对其进行分层描述，逐步求精，便于同面向对象的思想方法相沟通。
　　应该说，Petri网的基本概念是十分简单的。借助Petri网的图形表示，对Petri网的基本结构和运行法则，只需半天时间就可以有个基本了解。然而，Petri网理论的内涵又是十分丰富的。对Petri网的各种性质进行分析，除了对Petri网的运行规律要有深刻的理解外，还需要在线性代数、图论、形式语言理论、逻辑学等方面有坚实的基础。至今，对Petri网的若干重要性质普遍适用的判定条件或判定算法尚未得到。即使是对某些Petri网子类给出了相应的判定方法，也大多转化为线性方程组或线性不等式的整数解求解问题，网的局部结构的求解问题，或者合法变迁序列的求解问题。对这些求解问题设计出有效算法也往往不是轻而易举的事。至于通用网论，则是信息科学中的进程理论和方法同近代与现代物理的时空观的有机融合。C．A．Petri提出Petri网这种系统模型，其目标是想用一种兼容物理和计算机科学两者的语言和概念构架来形式描述制约通信进程的所有“自然法则”。这一宏伟计划也尚未完全实现。
　　可以说，Petri网理论是一种易懂难精的学问。这一点类似于围棋。Petri教授把他提出Petri网概念这件工作戏称为发明了一种借助图形符号和小石子来玩的游戏。我体会也含有这样的一层意思。
　　科学理论的生命力在于应用。Petri网理论之所以能够得到长足的发展，也是因为它在许多应用领域显示出很强的建模和分析能力。从事Petri应用研究的工作者，除了应是其应用领域的专家以外，还要求对Petri网的基本概念、基本原理和基本分析方法有较系统的了解。可以见到一些Petri网应用论文，为了描述某些实际系统，往往在原型Petri网的基础上添加上许多个“元”，提出所谓的新型Petri网，而作者并未对“新型Petri网”的分析方法进行讨论，就下结论说这个网系统具有哪些性质。人们无从知道这些结论是怎么得到的。其实，网系统模型越复杂，对其性质的分析就越困难(尽管加入一些新“元”能对实际系统的描述带来一些方便)。当网模型中对一些“元”有很苛刻的限制条件，或者对其中一些“元”不能给出形式化的表述时，即使只想用网模型对实际系统作一些运行仿真研究，也是难以做到的。因此，在从事Petri网的应用研究时，即使只想用Petri网作为实际系统的描述和分析工具(而不准备对Petri网理论本身进行研究)，也需要对Petri网的基本原理和基本分析方法进行较系统的学习和了解。..
　　本书主要介绍Petri网的基本原理和基本分析方法，以及这些原理和方法在对实际系统进行建模和分析中的应用。全书共12章，大致可以分为三个部分。第一部分是前6章。这部分以原型Petri网为主要对象，介绍Petri网的基本概念、基本性质和基本分析方法。我以为，作为学习Petri网理论的第一步，学习和掌握这部分内容是必要的。这些内容虽然是针对原型Petri网展开讨论的，但所提出的原理和方法具有普遍意义。有些应用问题可能使用变型Petri网建模更方便。然而，对每一种变型模型，除了其本身添加的一些特定条件外，还是要遵循Petri网的基本规则的。因此，对变型模型的分析方法，就是Petri网的基本分析方法同特定条件相结合的产物。第7章到第10章属于第二部分。这部分介绍几种Petri网的变型模型，包括高级Petri网、增广Petri网和含时间因素的Petri网等。这些变型模型都是在Petri网应用研究中，为了对某些实际系统建模的需要而提出的，并且已得到较普遍的认可。对于这些变型模型，除了介绍其基本概念以外，我们也对其分析方法进行一些讨论，并通过举例说明怎样用这些变型模型对实际系统进行建模和分析。第三部分是第11章和第12章。这两章对通用网论中并发论和同步论的基本内容作一简介。通用网论是Petri教授致力于架构描述制约通信进程的自然法则的主要内容。学习和了解这一部分内容，有助于对网论的思想精髓加深理解。
　　只要具有离散数学和线性代数的基础知识，就可以读懂本书的大部分章节。书中也有少量内容涉及到形式语言与自动机理论、操作系统以及数字逻辑等方面的知识。
　　本书可以作为一门研究生课程的教材，用60学时讲授。第1章到第4章，以及第6章是基本内容，这5章至少需要40学时。第5章可以根据情况选取部分内容讲授，第7章到第10章可以只讲授各种系统模型的基本概念，可以让学生根据自己的兴趣和爱好选读应用实例，教师给以指导。第11章和第12章不作为基本教学内容，只是给那些希望学习和研究通用网论的学生提供一个入门导引。
　　本书的内容中也包含了一部分作者自己的研究成果。自1987年以来，作者在Petri网领域的研究工作一直得到国家自然科学基金的资助。正是连续近20年不断的研究工作，使我加深了对Petri网基本原理的理解。借本书出版之际，谨向国家自然科学基金委员会致以衷心的感谢。在作者长期承担国家自然科学基金项目的过程中，项目课题组成员团结协作、共同研究，许多成果都是同他们合作研究得到的。这些成员中，主要有王培良教授、许安国教授和蒋昌俊教授等。在此向他们表示衷心的感谢。
　　本书是在作者从事Petri网理论课程教学的基础上写成的。书中大部分题材都在作者编写的讲义中采用过。教学的对象主要是硕士研究生。在教学过程中，不少研究生指出了讲义中存在的一些不妥之处。一些研究生在课程学习之后，对某些问题展开了研究工作，他们的一些研究成果也被收入本书中。方欢、孙琳、徐誉尹和吴振寰等，为本书稿的打印和排版付出了艰辛的劳动。在此也一并向他们表示感谢。
　　在此要感谢机械工业出版社华章分社。该分社温莉芳总编的真诚约稿和热情支持，使我鼓起了撰写本书的勇气，并使本书得以付梓。
　　由于水平有限，书中可能会有一些错误和不妥之处，敬请专家和读者指正。...
　　吴哲辉