| 基于逻辑时延Petri网的停车预订系统建模与分析 |
| |
| 引用本文： | 管梦真,刘伟,杜玉越.基于逻辑时延Petri网的停车预订系统建模与分析[J].计算机应用研究,2021,38(8):2412-2417. |
| |
| 作者姓名： | 管梦真 刘伟 杜玉越 |
| |
| 作者单位： | 山东科技大学 计算机科学与工程学院,山东 青岛266590 |
| |
| 基金项目： | 山东省自然科学基金面上项目(ZR2020MF033) |
| |
| 摘 要： | 为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网.首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述;最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题.在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势.
|
| 关 键 词： | 逻辑时延Petri网 决策变迁 可达图 重分配 |
| 收稿时间： | 2020/11/12 0:00:00 |
| 修稿时间： | 2021/7/9 0:00:00 |
Modeling and analysis of parking reservation system based on logical time delay Petri nets |
| |
| Guan Mengzhen,Liu Wei and Du Yuyue.Modeling and analysis of parking reservation system based on logical time delay Petri nets[J].Application Research of Computers,2021,38(8):2412-2417. |
| |
| Authors: | Guan Mengzhen Liu Wei and Du Yuyue |
| |
| Affiliation: | ShanDong University of Science and Technology, College of Computer Science and Engineering,, |
| |
| Abstract: | |
| |
| Keywords: | logical delay Petri nets decision- making transition reachable graph redistribution |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
