ArtiFlow中artifact生命周期的可满足性问题

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：xyw1h

【摘要】

：

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

【作者】

：

王颖刘国华高尚赵丹枫刘海滨

【出处】

：

小型微型计算机系统

【发表日期】

：

2004年期

【关键词】

：

业务过程管理 artifact生命周期 Petri网 ArtiFlow 可满足性

【基金项目】

：

国家自然科学基金项目(61070032)资助;秦皇岛市科学技术研究与发展计划项目(201001A048)资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

智能电表与抄核收管理信息系统一体化整合

供电事业不断向前发展,电表抄核收工作方式也逐渐发生了变化。对负责抄核收管理的部门来说,工作内容包括对电能表信息采集、整理、核对与计算。这些工作内容都是维持电力系统

期刊

智能电表抄核收管理信息系统一体化

基于物联网的智能瓦斯监测系统

针对目前瓦斯监测系统存在的问题和缺陷,设计了一个由感知层、网络层、应用层组成的智能化瓦斯监测系统。给出了系统的设计方案,阐述了利用基于ZigBee的无线传感器网络技术、

期刊

物联网技术瓦斯监测ZigBee无线传感器网络GPRS技术

基于改进SVM的新疆北部地区积雪面积反演研究——以天山山区中段为例

积雪面积是融雪径流模型中变量数据输入之一,准确的获取雪盖范围是进行流域尺度融雪水文过程研究的关键,在水资源管理及洪水预报中具有重要意义。本文以天山山区中段为例,利

期刊

积雪面积混合光谱分解灰度共生矩阵支持向量机新疆北部地区

与刘少奇同志有关的三级文物“新华字典”版本考订

刘少奇同志曾在1953年10月赠送给他的家乡的农民一部汉语语文小辞书。这部辞书在1989年入藏刘少奇同志纪念馆时,由于封面、封底、书脊、版权页、扉页均脱落,看不到书名,有关

期刊

刘少奇《新华字典》杨荫深《新辞典》广益书局

教学组织在课堂教学中的应用

教学活动是教师和学生共同构建知识的过程。随着现代教育的发展，教学主体也经历了发展，从以教师为主体的“填鸭式”教学到突出以学生为主体的教学，再到学生与教师之间相互作用、

期刊

教学教学方法教学组织

对口生英语学习和心理状况分析

高职对口生是当今高等职业技术教育的主要对象之一，其在接受中等职业技术教育过程中基础英语学习的不足和英语学习的心理障碍给高职英语的教学带来一定的困难。根据一段时同的

期刊

对口生高职英语心理问题

ArtiFlow中artifact生命周期的可满足性问题

其他学术论文