[发明专利]一种基于时间着色Petri网的网络资源配置方法在审
申请号: | 202010193881.9 | 申请日: | 2020-03-18 |
公开(公告)号: | CN111404748A | 公开(公告)日: | 2020-07-10 |
发明(设计)人: | 于汪洋;贾萌韩;王小明;李鹏;张立臣;林亚光 | 申请(专利权)人: | 陕西师范大学 |
主分类号: | H04L12/24 | 分类号: | H04L12/24;H04L12/911 |
代理公司: | 北京前审知识产权代理有限公司 11760 | 代理人: | 陈姗姗;张静 |
地址: | 710000 陕西省*** | 国省代码: | 陕西;61 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 基于 时间 着色 petri 网络 资源配置 方法 | ||
1.一种基于时间着色Petri网的网络资源配置方法,包括如下步骤:
S100:通过时间着色petri网对要进行资源配置的网络进行分块化的建模;
S200:对上述分块化的模型进行整合得到最终的TCPN模型;
S300:采用所述最终的TCPN模型对网络资源进行配置。
2.根据权利要求1所述的方法,所述S100步骤中的时间着色petri网具体定义为:时间着色Petri网是一个九元组TCPN=(P,T,A,∑,V,C,G,E,I),其中,优选的:
1)P是一组有限的库所集,用圆圈来表示;
2)T是一组有限的变迁集T,使得用矩形来表示;
3)是一组有向弧集,用有向弧来表示;
4)∑是一组有限的非空颜色集;
5)V是一组有限的类型变量,使得Type[v]∈∑对所有变量v∈V,其中颜色集都是带有时间戳的;
6)C:P→∑是一个为每个库所指定颜色集的函数;
7)G:T→EXPRV是一种判定函数,它为每个变迁t指定一个布尔表达式,使Type[G(t)]=Bool;
8)E:A→EXPRV是一个弧表达式函数,它将弧表达式赋给每个弧a,使得Type[E(a)]=C(p)MS,其中p是连接到弧a的库所,MS表示多重集;
9)I:是一个标识初始化函数,使Type[I(p)]=C(p)MS,其中MS表示多重集。
3.根据权利要求2所述的方法,所述S100步骤中的分块化建模之前还包括给出模型的数据类型定义的步骤。
4.根据权利要求3所述的方法,所述的数据类型定义是以函数式编程语言标准ML为基础建立的CPI ML语言。
5.根据权利要求2所述的方法,所述S100步骤中的分块化建模中在活动变迁上加入了时间延迟函数。
6.根据权利要求2所述的方法,所述步骤S200中的整合具体为:
通过对所述分块化的各个模型的公共位置的变迁或者库所进行合并。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于陕西师范大学,未经陕西师范大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202010193881.9/1.html,转载请声明来源钻瓜专利网。
- 上一篇:非电子医学科研数据自动录入方法、系统及设备
- 下一篇:一种浸没式换流阀装置