时延离散Petri网的形式分析

摘要

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