本文已被：浏览 1561次 下载 2331次
中文摘要: 提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述，运用分层设计、逐步细化的思想降低系统复杂度，使该系统设计直观、清晰。然后，利用SNOOPY仿真工具和Petri网可达图分别从定性和定量两个方面加以分析，验证了该模型的合理性和有效性。研究表明，层次Petri网是多媒体自动售货机销售系统建模的一种有效途径。
Abstract:
keywords:
文章编号： 中图分类号： 文献标志码：
基金项目:浙江省哲学社会科学基金（07CGTQ005YBM）
| Author Name | Affiliation |
| 朱伟 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 尧飘海 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 鲍陈 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 张云华 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| Author Name | Affiliation |
| 朱伟 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 尧飘海 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 鲍陈 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
| 张云华 | 浙江理工大学 信息电子学院 浙江 杭州 310018 |
引用文本：
朱伟,尧飘海,鲍陈,张云华.基于Petri网的自动售货机销售系统建模及验证.计算机系统应用,2008,17(12):2-5
.Modeling and Verification of Vending Machine Sales System Based on Petri Net.COMPUTER SYSTEMS APPLICATIONS,2008,17(12):2-5
朱伟,尧飘海,鲍陈,张云华.基于Petri网的自动售货机销售系统建模及验证.计算机系统应用,2008,17(12):2-5
.Modeling and Verification of Vending Machine Sales System Based on Petri Net.COMPUTER SYSTEMS APPLICATIONS,2008,17(12):2-5
