《计算机应用研究》|Application Research of Computers

基于逻辑时延Petri网的停车预订系统建模与分析

Modeling and analysis of parking reservation system based on logical time delay Petri nets

免费全文下载 (已被下载 次)  
获取PDF全文
作者 管梦真,刘伟,杜玉越
机构 山东科技大学 计算机科学与工程学院
统计 摘要被查看 次,已被下载
摘要 为解决逻辑Petri网不能详尽的描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网。首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等。其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述。最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题。在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势。
关键词 逻辑时延petri网;决策变迁;可达图;重分配
基金项目 山东省自然科学基金面上项目(ZR2020MF033)
本文URL http://www.arocmag.com/article/02-2021-07-008.html
收稿日期
修回日期
页码 -
中图分类号 TP311
文献标志码