论文部分内容阅读
Petri网合成可以避免状态空间接指数阶迅速扩大的问题，并且在网扩大时可以保持原网的某些优良性质．为了解决资源共享问题，焦莉等人对于一个满足死锁．陷阱性质（ST-property）非对称选择网（asymmetric choice，简称AC）进行库所合并，给出了合并后的网保持原网活性、有界性和可回复性的条件．主要动机是对焦莉等人的研究结果进行推广，把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题．给出了使共享PP．型子网合成Petri网系统保持活性，有界性和可回复性的条件以及