龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：西安电子科技大学
摘要：本发明公开了一种勘测时间Petri网中影响死锁的变迁的方法及装置，通过资源分配系统的时间Petri网模型构造全局可达图；确定全局可达图中的多个危险标记和每个危险标记下的使能变迁集；针对每个危险标记，在全局可达图中进行两类路径搜索，得到该危险标记对应的多条第一类路径和多条第二类路径，进而构建出该危险标记对应的局部可达图；基于每个局部可达图中的每一类路径，确定该类路径中各路径之间的一组包含关系。最后基于所确定的各组包含关系确定出影响资源分配系统死锁的变迁集合。本发明通过勘测资源分配系统的时间Petri网中影响死锁的变迁，从而为死锁预防提供了一种高效且实用的方法。
主权项：1.一种勘测时间Petri网中影响死锁的变迁的方法，其特征在于，所述方法包括：构造资源分配系统的时间Petri网模型；基于所述时间Petri网模型构造全局可达图；所述全局可达图中的节点表示标记；所述标记用于表示所述资源分配系统的状态；所述全局可达图中的边表示状态间发射的使能变迁；确定所述全局可达图中的多个危险标记和每个危险标记下的使能变迁集；所述危险标记用于表示所述资源分配系统处于危险状态；针对每个危险标记，在所述全局可达图中进行两类路径搜索，得到该危险标记对应的多条第一类路径和多条第二类路径；所述第一类路径满足：该路径对应的危险标记下至少存在一个使能变迁在完整路径中保持持续使能；所述完整路径为该路径中的起始标记到该路径对应的危险标记的路径；所述第二类路径满足：该路径中的起始标记到该路径对应的危险标记中所有的边所表示的变迁均为持续使能变迁；针对每个危险标记，根据该危险标记对应的多条第一类路径和多条第二类路径构建该危险标记对应的局部可达图；基于每个局部可达图中的每一类路径，确定该类路径中各路径之间的一组包含关系；基于所确定的各组包含关系确定出影响所述资源分配系统死锁的变迁集合。
全文数据：
权利要求：
百度查询： 西安电子科技大学 勘测时间Petri网中影响死锁的变迁的方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号