基于可替换性Petri网工作流模型合理性验证

来源 :微处理机 | 被引量 : 0次 | 上传用户:w370724
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
所谓工作流是一类能够完全或者部分自动执行的业务过程,它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行,模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法,通过合理且安全的构造块分步构造模型,最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析,利用着色时间Petri网建立工作流模型无需冗杂的计算,此方法适合于复杂工作流模型的合理性验证。
其他文献
物联网是实现物与物之间智能联系的网络,是继计算机产业、互联网产业之后的又一个重大产业。依托RFID、红外传感器、GPS、激光扫描等传感技术及移动通讯、云计算、大数据存储等数据通讯处理技术,按约定协议把任何物品与互联网相连接,形成互联网+,因此从结构上分析,物联网的构成是开放架构的。回顾了物联网概念的提出及产生背景,详细阐述了其开放的技术架构及组成物联网的关键技术,结合当前国际上物联网领域的热点问题
710年,日本进入奈良时代,社会制度逐渐步入成熟,在文化方面深受中国盛唐文化的影响,通过对唐朝文化的吸收及与本土文化的融合,从而出现了日本第一次文化全面昌盛的局面。在这
初中数学课程是学生学习的一大难点,也是教师教学的重点。探究式教学方法与传统教学方法有着本质上的区别。虽然大多数教师已经开始应用探究式教学方法,但在实际教学中,应用这种
今年我市经济建设和社会发展任务艰巨繁重,又是机关作风建设年。新的形势对反腐倡廉工作提出了更高的要求。各级党委、政府和纪检临察机关一定要按照江泽民总书记在中纪委第
《普通高中英语课程标准(实验)》中明确指出:评价是英语课程的重要组成部分。科学的评价体系是实现课程目标的重要保障。传统的教育评价只关注结果,不关注过程,因而不能发挥
2013年12月23日中央办公厅印发《关于培育和践行社会主义核心价值观的意见》,从三个层面把社会主义核心价值观概括为24个字,即国家层面:富强、民主、文明、和谐;社会层面:自
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
本文论述了吴旗飞播区5~13龄沙棘根系形态、生长发育、产量及根蘖特性。可以看出,沙棘根系有适于半干旱黄土区的生物生态学特性。沙棘根系发达,在梁峁坡垂直根深3~8m,可吸收深
桡骨头骨折成人多见,青少年少见,在成人所有骨折中约占2%~5%,在肘关节创伤中约占20%。常见于间接外力致伤,桡骨小头骨折可以是孤立的,也可以是肘关节复合伤的一个部分。合并下尺桡关
故事发生在上学期的期末,那天是星期五,本学期的最后一天,下个星期一就要期末考试了,我们的复习已经差不多了,说实在的,那几天的复习我已经累得筋疲力尽了,身体的潜能已经发挥到了极