首页> 中国专利> 分析佩特里网的可达性方法

分析佩特里网的可达性方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明为一种Petri网(PN)的可达性分析方法，用于分析可达性并推导从变体第k系统扩展的PN的控制相关状态数量的封闭式公式(CFF)。该方法的建构包括通过证明第一系统Gen‑Right(k,gen)和第二系统Gen_Left(k,k_gen)是Gen‑Left(k,gen)的拓扑逆网络，第一系统和第二系统之间存在可逆的一对一映射关系；其中第一级数Gen‑Right(k,gen)和Gen‑Left(k,k‑gen)具有相同的闭式公式，通过将Gen‑Left(k,gen)代入已验证的闭式公式中参数gen可以通过将其替换为k‑gen得到，通过可逆的一对一映像可以直接得到其对应的可达状态。

著录项

公开/公告号CN115438525A

专利类型发明专利
公开/公告日2022-12-06

原文格式PDF
申请/专利权人游宗宪;
展开▼

申请/专利号CN202210626534.X
发明设计人游宗宪;
展开▼

申请日2022-06-03
分类号G06F30/22;G06F30/18;
代理机构上海博泰明安知识产权代理事务所(普通合伙);
代理人郑裕涵
地址中国台湾台北市景福街265巷15号4楼
入库时间 2023-06-19 17:51:41

法律信息

法律状态公告日

法律状态信息

法律状态
2022-12-06

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 在电信网中改善固定网用户的可达性的方法 [P] . 中国专利： CN1377552A . 2002-10-30
2. 一种负电晕放电特里切尔脉冲随机性分析方法 [P] . 中国专利： CN113899955A . 2022-01-07
3. Trivet i.e. metal cooking net, scouring method for cooking bread, involves projecting particles in direction of antiblocking coating, and arranging trivet in enclosure in order to solidify coating before projection of particles [P] . 法国专利： FR2956600A1 . 2011-08-26

机译：特里维（Trivet），即金属烹饪网，一种煮面包的冲刷方法，包括在防粘涂层的方向上投射颗粒，并将特里维（Trivet）放在外壳中，以便在颗粒投射之前固化涂层
4. EXTRACELLULAR ENDOPLASMIC RETICULUM ANALYSIS CHIP, EXTRACELLULAR ENDOPLASMIC RETICULUM ANALYSIS METHOD, AND EXTRACELLULAR ENDOPLASMIC RETICULUM ANALYSIS DEVICE [P] . 世界知识产权组织专利： WO2015163194A1 . 2015-10-29

机译：囊外内质网分析芯片，囊外内质网分析方法和囊外内质网分析装置
5. METHOD AND SYSTEM FOR IMPLEMENTING attainability of a host route in the ring network access packet transmission [P] . 俄罗斯专利： RU2012137184A . 2014-04-20

机译：在环网接入分组传输中实现主机路由可达性的方法和系统