逻辑Petri网的扩展及性质分析的开题报告

逻辑Petri网的扩展及性质分析的开题报告一、研究背景逻辑Petri网是Petri网的一种扩展形式，是用于描述并发系统与逻辑计算的一种形式化工具。在逻辑Petri网中，可以通过赋值的方式对状态进行修改