[发明专利]一种基于时间着色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中的整合具体为:

通过对所述分块化的各个模型的公共位置的变迁或者库所进行合并。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于陕西师范大学,未经陕西师范大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/202010193881.9/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top