计算机应用研究

作者：管梦真,刘伟,杜玉越,

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

关键词：逻辑时延Petri网,决策变迁,可达图,重分配,

基金：山东省自然科学基金面上项目(ZR2020MF033)；；

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

来源：2021年第8期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2021年第8期