【摘 要】
：
现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协
【机 构】
：
计算机软件新技术国家重点实验室(南京大学)南京210093南京大学软件学院南京210093计算机软件新技术国家重点实验室(南京大学)南京210093杭州电子科技大学计算机学院杭州310018计算机软件
论文部分内容阅读
现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPB模型能够被正确地执行，文中提出IOPB模型的弱合理性(rrlaxd soundese)作为IOPB模型的正确性标准之一.IOPB模型是一种复合模型，其规模一般较大，采用基于状态空间的分析方法，容易产生状态空间爆炸问题，为此文中提出基于不变量的分解方法，能够将一个弱合理的无回路IOPB模型分解为一组顺序图，并提出相关定理：一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.
其他文献
联盟形成是多Agent系统中的一个关键问题，寻求能极大化联盟值总和的最优联盟结构是NP完全的．Sandholm等人已经证明，要建立最坏情况下的限界k，搜索联盟结构图的最底两层是必要且是
本文综述了抗菌肽的研究概况、主要抑菌机制及其在水产动物饲料的应用现状,分析了抗菌肽在应用中的问题,并对其在水产动物饲料中的应用前景进行了展望.
劣质数据普遍存在于现代数据管理系统中，严重影响了数据的质量，从而降低了数据的实用性以及数据的价值，这为数据管理带来了新的挑战．当前，已经有不少管理劣质数据的数据模型被提出
2016年前三季度,养殖存栏紧平衡与需求,畜禽产品价格整体保持高位区间, 养殖效益良好,拉动饲料需求,2016年三季度饲料产量同比、环比均为增长. 1 基本情况 1.1饲料生产基本情
该文首先采用代数曲线样条逼近的方法参数化混合边界,然后用三次样条曲面混合任意两个隐式代数曲面,实现样条曲面和基曲面之间光滑过渡.进一步,文中采用GB样条混合两张代数曲
文中提出了一种基于GPU加速的精确计算球面距离变换的算法.球面距离变换在球面网格剖分、气象建模等领域有重要的应用.目前主要的球面距离变换算法是基于有序扩散的,即每个球面像素的距离变换都需要参照相邻像素的信息,因而难以通过并行计算加速.在经度-纬度参数域上,该文给出了依次沿纬线和经线独立扫描进行球面距离变换的理论证明,提出了一种新的球面距离变换算法,称为经纬独立扫描算法.同以往的球面距离变换算法相比
2016年上半年我国蛋氨酸市场价格大体呈现弱势震荡走势.上半年我国家禽养殖虽与往年相比显得较好, 但蛋氨酸供应过剩之势仍十分突出,蛋氨酸市场交投形势'不温不火'.
2013年饲料产业产量增长放缓，30~100头存栏母猪养殖户将成为主体，行业平均2%的纯利已经不允许企业打猎式获取订单，维护客户的边际效益大于开发客户的边际效益的拐点已经显现。客
<正>SPC(Statistical Process Control)即统计过程控制。SPC是美国贝尔实验室休哈特(Shewhart)博士首先应用正态分布特性于生产过程中的管理,目前已成为生产过程中控制稳定产
<正>2015年,全球配合饲料增长了1.6%——这些增长多大多数来自新兴市场。2015年,最新一期世界饲料全景饲料行业趋势调查数据显示,全球饲料企业生产的配合饲料达到8.844亿t。