系统工程理论与实践
繫統工程理論與實踐
계통공정이론여실천
Systems Engineering—Theory & Practice
2011年
2期
315~322
,共null页
宋阿妮 王明哲 郭法滨 倪枫
宋阿妮 王明哲 郭法濱 倪楓
송아니 왕명철 곽법빈 예풍
着色Petri网 普通Petri网 关联矩阵 展开
著色Petri網 普通Petri網 關聯矩陣 展開
착색Petri망 보통Petri망 관련구진 전개
colored Petri nets; ordinary Petri nets; incidence matrix; unfolding
为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.
為提升著色Petri網的設計分析與模型檢驗能力,討論瞭著色Petri網的結構化展開技術.以著色Petri網的令牌單元和綁定單元為基元,通過對著色Petri網展開為普通Petri網的等價性證明,提齣瞭基于著色Petri網關聯矩陣和標準元語言的展開規則和規範化步驟.研究結果為著色Petri網到普通Petri網的自動轉換過程和著色Petri網驗證提供瞭有力支持.
위제승착색Petri망적설계분석여모형검험능력,토론료착색Petri망적결구화전개기술.이착색Petri망적령패단원화방정단원위기원,통과대착색Petri망전개위보통Petri망적등개성증명,제출료기우착색Petri망관련구진화표준원어언적전개규칙화규범화보취.연구결과위착색Petri망도보통Petri망적자동전환과정화착색Petri망험증제공료유력지지.
The design analysis and model check in concurrent system engineering has proved to be one of the most vexing practical problems.Unfolding the Basic Structure of Colored Petri Nets is discussed in this paper in order to use the structural analyses of Ordinary Petri Nets as reference to enhance the analyses ability of Colored Petri Nets.Via the equivalence proof,and taking the token elements and binding elements as basic elements,unfolding rules and unfolding algorithm are presented based on incidence matrix and Standard Meta Language.The results of this study offer a powerful support for the automatic unfolding process of model systems from Colored Petri Nets to Ordinary Petri Nets and Colored Petri Nets model check.