-
题名Petri网共享子网合成活性分析
- 1
-
-
作者
夏传良
焦莉
陆维明
-
机构
中国科学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期12-16,25,共6页
-
基金
国家自然科学基金(60073013)
-
文摘
为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.
-
关键词
PETRI网
合成
分析
有界活性
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网共享PP-型子网合成性质分析
被引量：8
- 2
-
-
作者
夏传良
焦莉
陆维明
-
机构
中国科学院数学与系统科学研究院计算机科学研究室
计算机科学重点实验室(中国科学院软件研究所)
-
出处
《软件学报》
EI
CSCD
北大核心
2007年第1期22-32,共11页
-
基金
国家自然科学基金
国家重点基础研究发展规划基金(973)~~
-
文摘
Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
-
关键词
PETRI网
分析
合成
活性和有界性
子网
-
Keywords
Petri net
analysis
synthesis
liveness and boundedness, subnet
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
