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

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

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网.首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述;最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题.在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势.
Modeling and analysis of parking reservation system based on logical time delay Petri nets

管梦真、刘伟、杜玉越

展开 >

山东科技大学 计算机科学与工程学院,山东 青岛266590

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

ZR2020MF033

2021

10.19734/j.issn.1001-3695.2020.11.0375

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

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
年,卷(期)：2021.38(8)
  • 7
  • 8