基于FTCPN的工作流模型简化规则与线性推理研究

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:vbcjun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.
其他文献
随着国民经济的发展,各种高新技术的不断进步,人们生活水平质量的提高,人们对电能的安全使用要求也越来越高.在这样的环境下,国家和政府越来越关注电力配电的安全,以及电力配
为解决图像的精确配准问题,提出了结合LoG算法的特征点的提取方法,并将尺度不变特征算法(SIFT)应用到图像的特征描述中.首先利用LoG算法计算边缘点,对边缘点的梯度值进行排序,选择梯度较大的点作为特征点;然后采用SIFT计算特征点的特征向量,利用最小距离算法找到两幅图像的匹配点对;最后利用最相关点和次相关点比例的方法排除错误的点对.实验结果证明,算法对具有光照、角度不同的两组图像能够实现精确的配
安全加密产品的领导者SafeNet 公司,近日发布了新一代世界级高安全加密锁产品——圣天狗,以确保软件开发商的知识产权不被非法盗用。圣天狗(Sentinel Dog)是第一个也是唯一一个在市场上采用公钥技术、AES加密和内部验证机制的保护锁。它在提供超强安全加密性能的同时具有弹性化的授权模式。
钾是对植物健康影响最大的元素,因为钾参与了植物生长发育中几乎所有的生物物理和生物化学过程,它对增强植物的抗寒、抗旱、抗盐碱、抗病虫害能力起着重要的作用.尤其在不正
结合丹金溧漕河航道整治工程金塔大桥老桥拆除工程实例,介绍主桥施工步骤,水上临时支墩的设置,整体拆除单片拱肋,分段拆除系杆和中横梁框架等施工工艺.
本文首先指出了沥青混凝土路面的常见问题,分析了路面裂缝的类别和成因,接着研究分析了沥青混凝土路面预防性养护对策,主要从混合稀浆密封处理、回收利用沥青技术等方面进行
10月中旬,广东鳜鱼收购价为20—21元/斤,较上月同期下滑了9—10元/斤,主要原因是鳜鱼集中上市。据悉,当前的价位已接近成本。由于2斤以上规格鱼在市场受欢迎程度低,面对低价养殖户存
2006年1月上旬,Juniper网络公司对外宣布,韩国领先的大型多人在线游戏供应商Joyon娱乐公司已经部署了其NetScreen-5200和 NetScreen-204防火墙/虚拟专网 (VPN)设备,以保护公司的游戏网络。此次Juniper对Joyon娱乐公司在线游戏安全的介入,也意味着Joyon原有的基于软件的防火墙解决方案的退场。
本文对回弹法的原理,检测强度的曲线和检测的技术等方面来进行分析,探讨混凝土抗压强度中回弹法的实际应用,来为解决一些材料的质量问题奠定基础和提供依据.
家庭养护肉肉的时候,最容易出现,也最令人头疼的就是介壳虫了。一说到虫子,估计很多人都会觉得恶心、害怕。最早以前养肉我也是这样,现在长期和虫子们打交道,已经彻底麻木了