西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技成果 > 一种基于MSVL的Petri网模型检测方法

一种基于MSVL的Petri网模型检测方法

2392018/08/25
咨询成果 发布成果
基本信息
  • 成果类型 高等院校
  • 委托机构 西安电子科技大学
  • 成果持有方 西安电子科技大学
  • 行业领域 信息安全
  • 项目名称 一种基于MSVL的Petri网模型检测方法
  • 知识产权 发明专利
  • 成果成熟度
  • 项目简介 本发明公开了一种基于MSVL的Petri网模型检测方法，首先利用现有的建模工具Workcraft建立Petri网系统模型，然后将该模型转换成等价的MSVL程序，为此本发明给出了分别由Petri网系统的顺序语意、并行语意和最大并行语意指导的三种转换方法；最后使用现有的MSVL支持工具MSV对生成的MSVL程序进行仿真、建模和验证。针对上述转换方法，本发明开发了转换工具PN3MSVL和PN4MSVL，使得工具MSV能够对Petri网系统的各种语意进行分析和验证。本发明解决了现有的Petri网模型检测方法难以充分验证各种语意的完全正则性质的问题。
交易信息
  • 意向交易额 面议
  • 挂牌时间 2017/12/19
  • 委托机构 西安电子科技大学
  • 分享至：