基于Petri网的自动售货机销售系统建模及验证

Modeling and Verification of Vending Machine Sales System Based on Petri Net

提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、逐步细化的思想降低系统复杂度,使该系统设计直观、清晰。然后,利用SNOOPY仿真工具和Petri网可达图分别从定性和定量两个方面加以分析,验证了该模型的合理性和有效性。研究表明,层次Petri网是多媒体自动售货机销售系统建模的一种有效途径。