温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

一种基于Petri网的并发错误检测方法及系统，包括：使用Petri网对被检测系统进行静态分析获取静态分析数据，并根据静态分析数据构建检测系统模型；提取检测系统模型中的规则机制信息，根据规则机制信息生成状态图；提取状态图中的操作标记函数信息，...
该专利属于同济大学所有，仅供学习研究参考，未经过同济大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。