论文部分内容阅读
文中提出了基于对象Petri网（Object Petri-Net,OPN)和基于OPN的文本描述语言LOOPN++工作流过程定义接口标准，论述了其可行性和优势，并给出了形式化描述。
基于对象Petri网的工作流过程定义
【摘 要】
：
文中提出了基于对象Petri网（Object Petri-Net,OPN)和基于OPN的文本描述语言LOOPN++工作流过程定义接口标准，论述了其可行性和优势，并给出了形式化描述。
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2001年1期
【基金项目】
：
国家“八六三”高技术研究发展计划/CIMS主题支持项目!(86 3-5 11-95 0 1-130 1)资助
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
为了使建筑能够凸显生态文明的设计理念,文章首先介绍了生态文明视域下的建筑设计,然后提出了生态文明视域下的建筑设计要点,包括注重技术方面、对建筑进行一体化的设计、适
在我国城市的健康可持续发展中,景观绿化是重要组成部分,文章分析了景观绿化工程施工效果的影响因素,包括施工队伍、施工过程中的影响因素、后期养护因素;提出了景观绿化工程
佛州龟蜡蚧Ceroplastes floridensis Comstock是严重危害天竺桂Cinnamomum japonicum的重要害虫。该虫在福建尤溪1 a发生2代,以第2代孕卵雌成虫越冬,少量以未孕卵雌成虫和3龄
文章分析了市政园林绿化养护的重要意义;阐述了市政园林绿化养护的工作要点,包括进行科学合理的系统性规划、完善相关市场竞争机制、提升市民环保护绿意识、组建绿化养护管理
农村零售业市场空间广阔是中国零售业市场未被大型开发的处女地,其中连锁超市经营是具有非常大潜力的经营模式。最近几年国家倾注了很大的心血在农村市场上,激发了农村零售业