【摘要】一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)〉0且X(i)=0。最后,用一个实例展示结论的应用过程。
【关键词】
全文来源于知网
信号完整性对于高速电路设计的重要性分析
廖传柱1
2014
10
0
¥:0
收藏
五台山自然旅游资源开发问题及对策
樊晓霞1
2014
42
0
¥:0
收藏
蝴蝶翅粗糙表面的各向异性及机理分析
孙刚1 邰志娟2 房岩1 毕语涵1
2014
82
0
¥:0
收藏
学前儿童数理逻辑智能评价指标体系的研究与设计
陈璟1
2014
128
0
¥:0
收藏
吉林省CG动漫设计方法创新与推广策略
王选遥1
2014
279
0
¥:0
收藏