Petri网综合的行为理论.rar

三十年前，德国科学家C.A.Petri先生在其博士学位论文中创立了一种用于并发通信机理描述的新型“自动机”模型，即今天被称之为“Petri网”的并发系统模型。众所周知，传统的自动机模型适于描述顺序行为的状态空间问题，而Petri网则适于描述异步并发行为的系统问题。如果说自动机是对顺序系统行为机理的直接描述，那么Petri网则在两个层面上对并发系统的行为机理给予充分的描述。首先，Petri网直接展现的是并发系统的物理结构层次及资源状态的初始分布状况；其次，在Petri网引发规则的作用下将间接展现出该并发系统的动态行为机理。这两个层面相互关联，形成了一个集物理结构和行为机理与一体的集成模型。同传统的自动机模型相比，Petri网所提供的系统信息要丰富的多，其分析的理