没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
自由选择工作流网的可靠完备化简规则集
自由选择工作流网的可靠完备化简规则集
研究论文
0 下载量
192 浏览量
2021-03-03
12:26:37
上传
评论
收藏
561KB
PDF
举报
温馨提示
立即下载
自由选择工作流网的可靠完备化简规则集
资源推荐
资源评论
工作流网合成规则及其在流程设计中的应用
浏览:138
针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则<br> 的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的<br> 精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成<br> 规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同<b
工作流网合成规则及其在流程设计中的应用 (2012年)
浏览:7
针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.
工作流模型验证—基于化简
浏览:68
以化简的方式对工作流的进行验证,里面是简单的工作流化简验证方式的介绍
论文研究-一种工作流管理系统的模型化简方法 .pdf
浏览:70
一种工作流管理系统的模型化简方法,李鹤,唐达,本文针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工�
论文研究-规则集的化简及相关性质的判定 .pdf
浏览:178
规则集的化简及相关性质的判定,张亦舜,,任给一个规则集,确定其等价的最简规则集,此理论问题的解决对实际构建专家系统的核心组成部分规则库有重要意义。本文引入逻辑代
文法化简与改造
浏览:128
5星 · 资源好评率100%
文法化简的程序,实现文法化简,文法改造,的消除空产生式,消除单产生式,消除无用产生式的功能
基于Petri网化简技术的工作流模型正确性研究 (2007年)
浏览:187
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网...
逻辑函数公式化简器
浏览:17
4星 · 用户满意度95%
该软件可以快速地化简用大写字母作为逻辑变量的多变量复杂与或非逻辑表达式至最简形式,支持多级括号嵌套。
化简c语言代码的技巧
浏览:77
本文档是帮助初学者化简你的c语言代码 表 + 程序 考虑以下问题: 一个n*m的方格,每个方格中有0或1这两个数字,现在请你输出一个n*m的矩阵,flag[i][j]表示在原来的第i行第j列处有多少个1环绕在周围。
与或表达式化简c++
浏览:149
与或表达式化简 c++ 代码
卡诺图化简软件
浏览:101
有人上传过类似软件,但那版卡诺图化简结果不是最简的,且只能是四输入。本版卡诺图化简软件最多可以到8输入,且结果最简,可以有无关项
逻辑函数化简软件
浏览:190
4星 · 用户满意度95%
4变量卡诺图化简软件 根据真值表自动化简成最简与或表达式 电子技术基础 数字部分 课程设计 作业
编译原理化简详细步骤
浏览:152
详细描述了DFA的化简
很好用的卡诺图化简软件
浏览:152
5星 · 资源好评率100%
很好用的卡诺图化简软件,直接得到逻辑表达式
逻辑化简仿真logic化简
浏览:149
4星 · 用户满意度95%
logic化简 可以主要用来进行逻辑函数的化简。是一种简单那一行的工具
文法的化简和改造编译原理.pdf
浏览:117
文法的化简和改造编译原理.pdf
人工智能实验六-子句集化简.doc
浏览:91
人工智能实验六-子句集化简.doc
论文研究-物流运输网络连通可靠性分析的高效分解算法.pdf
浏览:123
给出了一种评估物流运输网络连通可靠性的高效分解算法,算法充分利用分解过程中获得的相关信息,通过引入保持网络可靠性不变的串联边化简、并联边化简以及节点合并等规则,并结合向量集分解方法,能够快速实现对网络...
线化简算法
浏览:115
4星 · 用户满意度95%
常用的几个线化简算法,学地图综合的可以看看
行人惯性导航零速检测算法
浏览:64
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:180
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:138
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览:52
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:158
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:67
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:96
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:164
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:62
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:170
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38651273
粉丝: 0
资源:
969
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于Java的医院排队叫号系统后端设计源码
C语言大作业测试数据5000人
C#语言入门教程pdf
ZQU软件设计体系课程实验
泰森多边形-matlab源码-python
基于Java和C的打工人梦想项目设计源码
基于Java的订座管理系统设计源码
基于Java和Web技术的诚舜小组项目设计源码
19.四级语法应用 .sz
NX二次开发uf5524 函数介绍
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功