【摘 要】
：
为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工
【机 构】
：
大连理工大学计算机科学与工程系,东北大学东软信息学院计算机系
论文部分内容阅读
为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.
其他文献
【摘要】兴趣是最好的老师，在學生的学习过程中起着极其重要的作用。随着基础教育的改革，音乐教育已经发生了巨大的变化，从本质和方法上都有了一定的改变。小学音乐教学的意义之一在于教学中培养学生的音乐学习兴趣，调动学生主动学习音乐的积极性。本文将对如何在小学音乐教学中培养学生学习兴趣作出探索。 【关键词】小学音乐 学习兴趣 培养对策 【中图分类号】G623.71 【文献标识码】A 【文章编号】2095
在小学音乐课堂现状中,经常存在以下几个误区:体验过程被动学习,体验内容侧重形式。针对这一现象,我做了以下实际解决对策:结合课标理念,丰富体验形式;探索课堂实践,提升体验
前几年我在网上看到一款十分具有视觉冲击力的植物,花心格外妖娆,好像古老的图腾,带着超魔幻的色彩,后来得知这是雅致魔杖花(Sparaxis elegans)(图1),最出名的有两个类型的花
【摘 要】作为一种特殊的语言表达形式，体态语言在课堂教学中起着重要的作用。恰当地运用体态语言不仅有利于调动学生积极性、增强课堂教学效果，还有利于融洽师生关系、提升教学质量。教师如果学会了如何在课堂上更有效地利用非言语交际，师生之间的关系就会得到改善，学生的认知能力和学习效率就会提高。本文就根据自己的教学实践来谈谈小学英语中运用体态语言的感悟。 【关键词】小学英语；体态语言 【中图分类号】G63
研究了弹性需求条件下，由单一零售商和单一供应商组成的两级供应链的协调订货问题。该协调运用了共同补给期和分担运输费用的双重策略，分别从订货周期及年需求量的角度协调供应
华南滨海地区土壤呈现盐碱性,且每年受台风影响,景观绿化建设存在一定难度,如何提高该地区城市景观绿化效果,减少台风灾害带来的损失,本文将以厦门为例,从耐盐碱植物的选择、
【摘 要】创新创业能力是大学生在学习过程中应该具备的基本能力，也是学生以后就业和发展的核心竞争力。但是从当前的高职教育现状来看，在培养学生创新创业能力的过程中还存在一定的问题，教学质量不高。在开展高职教育过程中，从工匠精神培育视角来看，创新创业教育发挥着越来越重要的作用。本文在深入分析高职创新创业教育特点的基础上，从培育工匠精神的视角出发，较为详细的阐述了以工匠精神教育模式创新为载体的大学生创新创
莙荙菜藜科菾菜属,又名叶菾菜、厚皮菜、海白菜、牛皮菜,原产欧洲南部,后传入中国。二年生草本植物。株高因品种而异,矮生种30~50厘米,高生种60~110厘米。根部较粗短。叶阔卵
种子活力是决定种子和种子批在发芽和出苗期的活性强度和种子特征的表现,表现良好的种子质量称为高活力种子,表现差的称为低活力种子[1]。应该在清楚电导率与种子活力的相关