[发明专利]一种基于队列逻辑Petri网的过程分析方法有效
| 申请号： | 201810616589.6 | 申请日： | 2018-06-15 |
| 公开（公告）号： | CN109145350B | 公开（公告）日： | 2023-04-07 |
| 发明（设计）人： | 刘伟;刘雷;冯新;蔺茂;闫春;杜玉越;张福新 | 申请（专利权）人： | 山东科技大学 |
| 主分类号： | G06F30/18 | 分类号： | G06F30/18 |
| 代理公司： | 青岛智地领创专利代理有限公司 37252 | 代理人： | 种艳丽 |
| 地址： | 266590 山东省青岛*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于队列逻辑Petri网的过程分析方法，属于队列逻辑Petri网过程分析领域，具体包括以下步骤：首先对共享系统公平性问题进行分析，同时针对现有Petri网对共享系统的公平性建模中存在的不足，为Petri网添加队列库所、队列变迁和时间列表并定义为队列逻辑Petri网；然后使用队列逻辑Petri网对车库停车系统进行建模及性质分析，根据可达序列分析车库停车系统的不变量及利用率，并分析了与车库停车系统模型相关的重要性质；最后将建模后的系统与原有的共享系统进行比较，得出带有队列的共享系统具有有效性的结论。 | ||
| 搜索关键词： | 一种 基于 队列 逻辑 petri 过程 分析 方法 | ||
【主权项】：
1.一种基于队列逻辑Petri网的过程分析方法，其特征在于：包括以下步骤：步骤1：对共享系统公平性问题进行分析；步骤2：针对现有的Petri网在对共享系统建模时存在的公平性问题进行分析；步骤3：为Petri网添加队列库所、队列变迁和时间列表，定义队列逻辑Petri网；步骤4：使用队列逻辑Petri网对车库停车系统进行建模并进行性质分析；步骤5：对车库停车系统的性质进行分析；步骤6：将建模后的系统与原有的共享系统进行比较，得出带有队列的共享系统具有有效性的结论。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于山东科技大学，未经山东科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810616589.6/，转载请声明来源钻瓜专利网。
