浙江省哲学社会科学基金(07CGTQ005YBM)
提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、逐步细化的思想降低系统复杂度,使该系统设计直观、清晰。然后,利用SNOOPY仿真工具和Petri网可达图分别从定性和定量两个方面加以分析,验证了该模型的合理性和有效性。研究表明,层次Petri网是多媒体自动售货机销售系统建模的一种有效途径。
朱伟,尧飘海,鲍陈,张云华.基于Petri网的自动售货机销售系统建模及验证.计算机系统应用,2008,17(12):2-5
京公网安备 11040202500063号