Petri网精练操作的性质保持关系研究

摘要：

Petri网是描述异步并发系统的强有力工具,Petri网的精炼是系统分析很有效的分析方法本文主要讨论了Petri网P精炼操作对于行为相关性和不变量等保持关系,并给出了相关结论.

关键词： Petri网 精炼操作 行为不变性 不变量

作者: 张鹏 戚梅

作者单位: 同济大学电子与信息工程学院计算机科学与工程系,上海,200092;国家高性能计算机工程技术研究中心同济分中心,上海,200092;山东科技大学计算机科学系,泰安,271019 同济大学电子与信息工程学院计算机科学与工程系,上海,200092;国家高性能计算机工程技术研究中心同济分中心,上海,200092

会议类型: 国内会议

会议名称: 中国自动化学会第21届青年学术年会

会议地点: 山东烟台

会议语种:中文

页码: 724-729

在线出版日期: 2006-08-04（万方平台首次上网日期，不代表论文的发表时间）