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

• 作者: 夏传良 焦莉 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Petri网 分析 合成 活性和有界性 子网
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 22-32
• 页数: 11页
• 分类号: TP301
• 字数: 11286字
• 语种: 中文

摘要

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