计算机应用研究2021，Vol.38Issue(8) ：2412-2417.DOI:10.19734/j.issn.1001-3695.2020.11.0375

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

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

管梦真 刘伟 杜玉越
计算机应用研究2021，Vol.38Issue(8) ：2412-2417.DOI:10.19734/j.issn.1001-3695.2020.11.0375
✕
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据

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

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

管梦真 1刘伟 1杜玉越1
扫码查看

作者信息

  • 1. 山东科技大学 计算机科学与工程学院,山东 青岛266590
  • 折叠

摘要

为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网.首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述;最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题.在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势.

关键词

逻辑时延Petri网/决策变迁/可达图/重分配

引用本文复制引用

基金项目

出版年

2021
计算机应用研究
四川省电子计算机应用研究中心

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
被引量7
参考文献量8
段落导航相关论文