欢迎来到中细软旗下技术转移平台

服务热线：400-700-0065

节能环保新能源新材料高端制造生物产业数字创意

院校

免费询价在线咨询

专利号	2017107198924	专利名称	一种适应需求变更的形式化Petri网模型自动演化方法
专利类型	发明专利	国际分类	G06F9/44
申请人	淮阴师范学院	申请地址	江苏省淮安市淮阴区长江西路111号
发明人	李宗花;叶正伟	申请日期	2017-08-21
下证状态	未知	更新时间	2022-09-19 11:45:44
专利摘要	本发明公开了一种适应需求变更的形式化Petri网模型自动演化方法，包括以下步骤：S1：设计模型检查程序对原始业务过程模型和修改后的业务过程模型进行匹配检查；S2：设计模型探测程序定时检查模型修改数据文件中的内容；S3：设计模型演化程序读取模型修改数据文件的内容并完成相应的演化操作。本发明的优点在于：1、所设计的模型检测组件能够检测和记录需求变更的内容和操作，避免业务过程模型变更所带来的重复性形式化操作。2、基于模型驱动技术所设计的模型演化组件，能实现Petri网模型形式化演化操作的自动执行。3、对Petri网模型的自动演化操作的设计进一步扩展了Petri网形式化业务模型的能力，为不确定需求的业务建模提供保障。

买卖双方需提供			平台提供	转让后买方可获得
	企业	个人	专利代理委托书专利权转让协议办理文件副本请求书发明人变更声明	专利证书手续合格通知书专利登记簿副本
买方	企业营业执照企业组织机构代码证	身份证
卖方	企业营业执照专利证书原件	身份证专利证书原件