国际Petri网理论与应用最新研究进展

摘要：

第29届Petri网应用与理论及其他并发模型国际会议(简称PETRINETS 2008)于2008年6月在西安召开。对会议论文集收录的全部23篇论文进行了研究和综述,从模型检测理论与应用、Petri网的步语义问题、Petri网合成,Petri网展开、Petri网建模与验证,Petri网工具等方面归纳介绍了当前国际Petri网理论与应用研究的最新进展与发展趋势。

关键词： Petri网 模型检测 建模验证

作者: 张曼 单志广

作者单位: 西安电子科技大学 计算理论与技术研究所,西安 710071 国家信息中心 信息化研究部,北京 100045

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 51-54

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