文件名称：Petri网综合的行为理论 蒋昌俊
文件大小：1.69MB
文件格式：RAR
更新时间：2013-05-28 07:26:12
Petri网 doc
自Petri 先生开创性的工作之后，网论得到了长足进展，至今已形成了相当规模的研究领域。在理论方面，Petri网模型和分析技术的研究取得了许多有价值的成果，Petri网作为一种全新的自动机被开发出来，研究者对此充满了希望，认为Petri网比下推自动机有用，原因是它不存在图灵机所具有的那些可判定问题。在这期间，MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究，研制出了一些复杂的译码方法，并且定义了一些使其证明较易构造的Petri网子类。由于Petri网自己也存在一些可判定问题，许多研究者转而寻找其它形式的自动机，比如线性有界自动机、多栈下推自动机等等。然而Petri网的理论研究仍在许多大学和科研机构中进行着。许多系统设计者仍试图用Petri网或经过改进的Petri网以适合他们专用领域的需要。虽然，基本Petri网模型存在一些可判定问题，但是有界Petri网的性质却很好，对应用者来说并没有面临理论家们所碰到的难题。不过问题并没有那么简单。事实上，Petri网的可达集在网的规模上是以指数规律递增的，从而引起了麻烦，尽管模型可能有界，但是界限已超出了目前计算机的能力。继续从事于Petri网理论研究的专家们开始扩充这个模型，他们对Petri网所做的工作影响着其建模能力、模型的表达能力以及从模型中可获得的计量单位
【文件预览】：
Petri网的行为理论
----第9章.doc(889KB)
----第8章.doc(78KB)
----第4章.DOC(1.67MB)
----第5章.doc(1.1MB)
----第2章.DOC(967KB)
----第7章.doc(1.39MB)
----第1章.DOC(218KB)
----第10章.DOC(485KB)
----书名、前言、目录.doc(56KB)
----第3章.doc(2.1MB)
----第6章.doc(1.17MB)