回溯变迁论文

论文摘要Petri网是一种适合于描述异步并发的形式化系统模型。Petri网不仅有严格的数学表达形式与直观的图形表现形式,还具备对异步与并发系统进行系统描述与行为分析的功能,为计...