太阳集团游戏官方网址针对对象化高级Petri网缺乏标识的状态空间度量

当前位置:澳门太阳娱乐集团官网 > 太阳集团游戏官方网址 > 太阳集团游戏官方网址针对对象化高级Petri网缺乏标识的状态空间度量
作者: 澳门太阳娱乐集团官网|来源: http://www.ucylang.com|栏目:太阳集团游戏官方网址

文章关键词:澳门太阳娱乐集团官网,等价标识变量

  Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网 ...

  本文讨论了具有标记变量的随机高级Petri网(SHLPN)以及标识类型、标记变量和等价标记变量的概念,给出了具有等价标记变量可达树构造算法,并证明了等价标记变量可达集与合并状态的 ...

  1994年06期随机高级Petri网传输协议性能评价标记变量标记变量的等价;

  针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识进行完全划分,太阳集团游戏官方网址形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语言的子集。因而可以 ...

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!