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

被引：7

作者：

夏传良 ^{[1
]}

焦莉 ^{[2
]}

陆维明 ^{[1
]}

机构：

[1] 计算机科学重点实验室(中国科学院软件研究所)

来源：

软件学报 | 2007年 / 01期

关键词：

Petri网; 分析; 合成; 活性和有界性; 子网;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

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

引用

页码：22 / 32

页数：11