摘要:第29届Petri网应用与理论及其他并发模型国际会议(简称PETRI NETS 2008)于2008年6月在西安召开。对会议论文集收录的全部23篇论文进行了研究和综述,从模型检测理论与应用、Petri网的步语义问题、Petri网合成、Petri网展开、Petri网建模与验证、Petri网工具等方面归纳介绍了当前国际Petri网理论与应用研究的最新进展与发展趋势。
关键词:petri网 模型检测 petri网工具
单位:西安电子科技大学计算理论与技术研究所 国家信息中心信息化研究部
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社