求Petri网的性质,
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:综合作业 时间:2024/08/19 15:05:51
求Petri网的性质,
如题,最好详细些,
如题,最好详细些,
![求Petri网的性质,](/uploads/image/z/19841102-62-2.jpg?t=%E6%B1%82Petri%E7%BD%91%E7%9A%84%E6%80%A7%E8%B4%A8%2C)
Petri网适合于描述异步并发行为的系统.首先,Petri网直接展现并发系统的物理结构层次及资源状态的初始分布状况.其次,在Petri网引发规则的作用下将间接展现出该并发系统的动态行为机理.这两个层面相互关联,形成了一个集物理结构和行为机理于一体的集成模型.它提供的的系统信息更加的丰富,其分析在理论上也更为深刻.Petri网的主要行为特性包括:状态的可达(reachability)、位置的有界性(boundedness)、变迁的活性(liveness)、状态的可逆达(reversibility)、标识之间的可达(reachability)、变迁之间的坚挺 (persistence)、事件之间的同步距离(synchronic distance)和公平性(fairness)等.Petri网模型的主要分析方法依赖于:可达标识图、关联矩阵和状态方程、不变量 (invariants)和分析化简规则.Petri网以研究模型系统的组织结构和动态行为为目标,着眼于系统中可能发生的各种状态变化以及变化之间的关系,易于表示系统变化发生的条件及变化发生后的系统状态.Petri网应用的主要困难是模型状态空间的复杂性问题,它将随实际系统的规模增大而呈指数性增长.因此,对于一般的Petri网,只要一涉及网的性质,常常得到的算法都是NP难的(又称作状态空间爆炸).对于这些NP问题,目前国内、国外的理论研究基本停留在一般子类上的研究.尽管得到了许多好的结果,但是由于子类的特殊性,使得所得结果缺乏很好的应用性.