论文部分内容阅读
本文在基于Petri网的工作流网的控制流的正确性验证的基础上,提出了基于数据流的资源限制流网的概念,并在资源限制流网的基础上,提出了工作流网的正确性概念,提出了并发变迁的并发性错误检查算法.
基于资源限制流图的工作流并发结构的正确性验证
【摘 要】
：
本文在基于Petri网的工作流网的控制流的正确性验证的基础上,提出了基于数据流的资源限制流网的概念,并在资源限制流网的基础上,提出了工作流网的正确性概念,提出了并发变迁
【机 构】
：
复旦大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年7期
其他文献
近年来,周边盆景爱好者爱榕玩榕蔚然成风,榕树盆景新作层出不穷,展场上那些经典的榕树盆景常吸引着大众羡慕的目光。榕树生命力顽强,种子通过鸟兽的粪便洒落残垣断壁、沟坎石
素混凝土桩施工方便、工期短、造价低、对地基承载力有明显的提高、地基变形小,同时对环境的影响较小,被广泛使用.本文结合现行规范,对其应用范围进行梳理,对其检测结果的判
目的：比较乌司他汀和奥曲肽治疗急性胰腺炎的临床疗效差异。方法：选取收治的48例急性胰腺炎患者,随机均分为对照组（奥曲肽治疗）和观察组（乌司他汀治疗）,比较两组患者治疗总有效率和
多Agent的协调性是多Agent系统与其它相关研究领域区别开来的关键性问题之一,也是保证多智能系统能在一起共同工作的关键.因此,本文对多Agent协调工作机制进行研究,给出多Age
实时人工智能系统是一种在动态的环境中,能够利用有限的资源来可靠地完成关键性 任务的系统.Anytime算法能够折衷解的质量和计算时间,是构造实时人工智能系统的有效 技术.本
获得性免疫缺陷综合征叉称艾滋病，是一种由人免疫缺陷病毒（HIV）感染引起的性传播疾病。HIV病毒感染的妇女在妊娠期、分娩期或产后哺乳过程中可将HIV病毒传播给胎儿或新生儿。截
条斑紫菜(Pyropia yezoensis)作为一种生长在潮间带的经济海藻,在适应干露失水时的高紫外辐射上有其独特的特性。本研究以无UV-B辐射为对照组,0.5 W/m~2(低)和2 W/m~2(高)UV-
十八大报告中强调：文化是民族的血脉,是人民的精神家园。十八届三中全会对全面改进美育教学作出重要部署,明确提出：＂改进美育教学,提高学生审美和人文素养＂。2015年,国务院办公厅
怀孕期间，准妈妈面临药物使用的问题，通常有3种情况：第一，即使已经鼻涕直流、不断咳嗽，准妈妈也忍着不愿吃药；第二，准妈妈因为不知道自己怀孕了，所以就吃了药；第三，准妈妈为慢性疾病患
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield