没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
工作流模型验证—基于化简
工作流模型验证—基于化简
需积分: 9
14 下载量
5 浏览量
2008-10-28
18:24:17
上传
评论
收藏
197KB
PDF
举报
温馨提示
立即下载
以化简的方式对工作流的进行验证,里面是简单的工作流化简验证方式的介绍
资源推荐
资源评论
论文研究-一种工作流管理系统的模型化简方法 .pdf
浏览:105
一种工作流管理系统的模型化简方法,李鹤,唐达,本文针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工�
基于P_T系统化简方法的工作流过程模型验证
浏览:134
袁崇义 根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突
基于P/T系统化简方法的工作流过程模型验证
浏览:198
根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.
基于Petri网化简技术的工作流模型正确性研究 (2007年)
浏览:27
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网...
基于边长化简的三维真实头模型
浏览:179
基于边长化简的三维真实头模型,陈浩,曾东,在经典的 MC(Marching Cubes) 算法基础上,我们利用边缘提取的方法,减少内部三角片的数量,提高成像速度,而不降低成像质量,可以很好�
基于交互学习的柔性工作流形式化验证方法研究 (2007年)
浏览:29
目前,柔性工作流验证领域的研究还比较欠缺,该文在这方面作了一些探索。把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中,叙述了需要验证的问题和复杂度。利用Petri网的形式化...
基于双格的多值模型的精化关系与对称化简
浏览:20
为了解决模型检测时的状态爆炸问题,研究了对基于双格的多值模型的对称化简方法。提出了一种新的多值模型的精化关系,证明其保持对μ演算公式的模型检测结果的正确性。定义多值模型的对称化简商结构,证明商结构与原...
文法化简与改造
浏览:7
5星 · 资源好评率100%
文法化简的程序,实现文法化简,文法改造,的消除空产生式,消除单产生式,消除无用产生式的功能
基于活动的工作流关键路径算法 (2006年)
浏览:87
计算关键路径是研究工作流时间问题的重要步骤,现有算法大多是基于工作流控制结构的规约与化简的,对工作流模型要求较高,不能计算控制结构的“部分覆盖”,限制了其应用 。首先给出一个描述活动延迟的工作流模 型,然后...
综合能源微网 多时间尺度 滚动优化 双层优化 调度模型 MATLAB代码:基于多时间尺度滚动优化的多能源微网双层调度模型 附带文
浏览:24
MATLAB代码:基于多时间尺度滚动优化的多能源微网双层调度模型 附带文档:两级交互控制框架下互联多能系统的协同自主优化 复现 主要内容:代码主要是一个多能源微网的优化调度问题,首先对于下层多能源微网模型,...
基于 Q-M 算法的逻辑代数化简C语言的程序实现报告.docx
浏览:107
基于 Q-M 算法的逻辑化简程序C语言的实现,实现一个能处理十变量及以上的逻辑函数化简工具。附带完整C语言代码。化简原理概述:搜索所有本原蕴含项,然后从这些本原蕴含项中提取出覆盖开状态集合的最小集合
逻辑函数公式化简器
浏览:110
4星 · 用户满意度95%
该软件可以快速地化简用大写字母作为逻辑变量的多变量复杂与或非逻辑表达式至最简形式,支持多级括号嵌套。
一种针对CP-nets并发模型的验证方法
浏览:31
提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持...
基于多时间尺度滚动优化的多能源微网双层调度模型.zip
浏览:190
5星 · 资源好评率100%
基于多时间尺度滚动优化的多能源微网双层调度模型 复现文献《Collaborative Autonomous Optimization of Interconnected Multi-Energy Systems with Two-Stage Transactive Control Framework》 代码主要做的是一个...
MATLAB代码:基于多时间尺度滚动优化的多能源微网双层调度模型 关键词:多能源微网 多时间尺度 滚动优化 微网双层模型 调度
浏览:58
MATLAB代码:基于多时间尺度滚动优化的多能源微网双层调度模型 关键词:多能源微网 多时间尺度 滚动优化 微网双层模型 调度 参考文档:《Collaborative Autonomous Optimization of Interconnected Multi-Energy ...
自由选择工作流网的可靠完备化简规则集
浏览:51
自由选择工作流网的可靠完备化简规则集
与或表达式化简c++
浏览:150
与或表达式化简 c++ 代码
化简c语言代码的技巧
浏览:7
本文档是帮助初学者化简你的c语言代码 表 + 程序 考虑以下问题: 一个n*m的方格,每个方格中有0或1这两个数字,现在请你输出一个n*m的矩阵,flag[i][j]表示在原来的第i行第j列处有多少个1环绕在周围。
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:32
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:158
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:13
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:171
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
GD32替换STM32注意事项.pdf
浏览:176
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览:44
4星 · 用户满意度95%
NodePad++ JSON格式化插件
XCP协议的规范文档
浏览:5
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:7
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览:119
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:105
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
lanting1018
粉丝: 0
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
Docker容器编排的md笔记格式文档
实验三1(1)
多种格式图片转ICO软件
C语言电话订餐系统课程设计
2024爆火AI Agent智能应用从0到1(应用解读+项目实战)课程
mipi CPHY CTS V1.0
xf-adsk2014
Dockerfile 实战题目1:基础Web服务器
Qt Quick之Canvas(画布),适合Qt初学者
数独游戏概述、原理及应用.pdf
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功