【摘要】一个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
收藏