首页> 中文期刊> 《计算机学报》 >S-组合Petri网的活性分析与实现

S-组合Petri网的活性分析与实现

         

摘要

设∑1=(N1,M1),∑2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=φ,S1 ∩ S 2≠φ,本文定义了∑1,∑2的S-组合Petri网∑s,通过引入Petri网互逆位置序偶的概念,深入研究了∑s的活性,给出了∑s有界活的几个判定条件.若∑1,∑2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号