Petri网共享PP-型子网合成性质分析

摘要：

Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetric choice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.

关键词：Petri网、分析、合成、活性和有界性、子网

所属期刊栏目：18

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60073013;国家重点基础研究发展计划973计划G1998030416

在线出版日期：2007-03-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：22-32