%0 Journal Article
%T Unfolding the basic structure of colored Petri nets<br>着色Petri网的结构展开方法
%A SONG A-ni
%A WANG Ming-zhe
%A GUO Fa-bin
%A NI Feng
%A <br>宋阿妮
%A 王明哲
%A 郭法滨
%A 倪枫
%J 系统工程理论与实践
%D 2011
%I 
%X 为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.
%K 着色Petri网
%K 普通Petri网
%K 关联矩阵
%K 展开
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=94FCCCCE1768AD67F890356EC18C4920&yid=9377ED8094509821&vid=4AD960B5AD2D111A&iid=0B39A22176CE99FB&sid=0C3F9E980968AF79&eid=3224764AEAFCF8C2&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=0&reference_num=11