时延离散Petri网的形式分析

摘要：

本文在原型Petri网的基础上,首次给出了时延离散Petri网的形式定义及其运行规则,以及与此相关的一些相关结论与计算公式,最后结合算例分析了此形式分析方法的正确性与合理性.本文给出了时延离散Petri网的形式定义及其运行规则，通过分析得出计算公式和一些相关结论，最后结合算例验证了此形式分析方法的正确性与合理性。下一步工作是研究变迁激发量计算公式的有效算法及加权时延离散Petri网的相关情况。

关键词： 时延离散Petri网 形式分析 运行规则

作者: 吕莉芳 李承家 薛瑜

作者单位: 杭州电子科技大学运筹与控制研究所,浙江杭州,310018

会议类型: 国内会议

会议名称: 第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会

会议地点: 南京

会议语种:中文

页码: 278-283

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