| 专利号 | 2018106165896 | 申请日 | 2018-06-15 | 专利名称 | 一种基于队列逻辑Petri网的过程分析方法 |
| 授权日 | 2023-04-07 | 专利权人 | 山东科技大学 | 发明人 | 刘伟;刘雷;冯新;蔺茂;闫春;杜玉越;张福新 |
| 主分类号 | G06F30/18 | 关键词 | 应用领域 | ||
| 摘要 | 本发明公开了一种基于队列逻辑Petri网的过程分析方法，属于队列逻辑Petri网过程分析领域，具体包括以下步骤：首先对共享系统公平性问题进行分析，同时针对现有Petri网对共享系统的公平性建模中存在的不足，为Petri网添加队列库所、队列变迁和时间列表并定义为队列逻辑Petri网；然后使用队列逻辑Petri网对车库停车系统进行建模及性质分析，根据可达序列分析车库停车系统的不变量及利用率，并分析了与车库停车系统模型相关的重要性质；最后将建模后的系统与原有的共享系统进行比较，得出带有队列的共享系统具有有效性的结论。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 新兴软件和新型信息技术服务 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
