基于petri网的自动销售机模型

摘要

Petri网络以网络理论、代数理论等为数学基础,以图形化的方法直观地描述了离散事件系统的各种关系和行为,适用于描述异步并发现象的计算机系统模型和对并行及并发系统进行行为分析.本文提出一种基于Petri网络的自动销售机模型模型,通过此模型解决自动销售机系统具有的并发性、异步性、分布式、非确定性、并行性等问题.