• 主题
高级搜索  >
历史搜索 清空历史
首页> 中国专利> 基于准完备有限可达树的通用Petri网的属性分析方法及系统

基于准完备有限可达树的通用Petri网的属性分析方法及系统

页面导航
  • 摘要
  • 著录项
  • 法律信息
  • 相似文献

摘要

本发明公开了一种基于准完备有限可达树的通用Petri网的属性分析方法及系统，由Petri网模型描述数据生成区别于传统可达树及其变型的准完备有限可达树；遍历树的节点标识，确定Petri网的有界性、安全性；对树进行变换并生成一系列局部可达树，统计局部树中各弧标签数目，分析Petri网各变迁与网本身的活性、死锁情况；检查Petri网初始标识在各局部可达树中的出现情况，分析判断Petri网的可逆性。与现有技术相比，本发明适用于分析通用Petri网模型的属性，而非局限于有界Petri网和某些Petri网子类，可广泛应用于并发系统、离散事件动态系统的相关动态特性分析。

著录项

  • 公开/公告号CN101441681A

    专利类型发明专利

  • 公开/公告日2009-05-27

    原文格式PDF

  • 申请/专利权人 东南大学;

    申请/专利号CN200810243408.6

  • 发明设计人 李俊;戴先中;孟正大;张凯锋;

    申请日2008-12-24

  • 分类号G06F17/50(20060101);G06F17/30(20060101);

  • 代理机构32200 南京经纬专利商标代理有限公司;

  • 代理人奚幼坚

  • 地址 210096 江苏省南京市四牌楼2号

  • 入库时间 2023-12-17 22:01:59

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2011-09-14

    发明专利申请公布后的驳回 IPC(主分类):G06F17/50 公开日:20090527 申请日:20081224

    发明专利申请公布后的驳回

  • 2009-07-22

    实质审查的生效

    实质审查的生效

  • 2009-05-27

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号