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

• 作者: 尧飘海 张云华 朱伟 鲍陈
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: 自动售货机销售系统 层次Petri网 SNOOPY仿真 可达图
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 系统建设
• 页码范围: 2-5
• 页数: 4页
• 分类号: TP3
• 字数: 3647字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2008.12.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张云华	浙江理工大学信息电子学院	76	342	11.0	16.0
2	尧飘海	浙江理工大学信息电子学院	5	98	3.0	5.0
3	朱伟	浙江理工大学信息电子学院	6	29	2.0	5.0
4	鲍陈	浙江理工大学信息电子学院	3	27	2.0	3.0