【摘 要】
：
工作流系统的合理性是描述事务处理过程的一个基本要求，目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑．该文从工作流网系统的语言角度研
【机 构】
：
同济大学电子与信息工程学院,同济大学嵌入式系统与服务计算教育部重点实验室
【基金项目】
：
国家“973”重点基础研究发展计划基金(No.2010CB328101);国家自然科学基金(No.90718012);国家“863”高技术研究发展计划基金(No.2009AA01Z401);上海重点基础研究项目基金(No.08JC1419300,No.09JC1414200);上海市曙光跟踪计划项目基金(No.08GG08)资助
论文部分内容阅读
工作流系统的合理性是描述事务处理过程的一个基本要求，目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑．该文从工作流网系统的语言角度研究了合理性的特征，给出合理性的一个网语言刻画，从而揭示了这一基本性质的行为特征．文中进一步研究同步合成工作流网系统和组合合成工作流网系统，分别给出这两种合成系统合理性保持的充分必要条件，为复杂工作流网系统合成建模与分析提供了一种新的途径．
其他文献
专用集成电路是80年代初兴起的第三代半导体集成电路产品。通常认为,60年代出现的标准半导体单元电路如TTL电路、运算放大器等为第一代集成电路,70年代的微处理器及存储器则
自从电子白板进入到幼儿园教学活动以后,给幼儿园教育活动增添了新的活力。这一新生事物拥有现代媒体教学的多种功能,优化了传统教学存在的不足之处,适应了幼儿教师"边说、边
国务院各部委局制发的公文,不但在思想内容上应正确无误,而且在格式上也要合乎规范,成为下属部门学习、仿效的典范。不然.对下属部门办文会产生误导作用。《国家行政机关公
本工作以电动乘用车软包三元(NCM)动力锂离子电池为研究对象,通过温度电压数据采集及高速摄像的方法,在开放空间下开展了加热和过充触发条件下的电池热失控实验,研究了电池热
在媒体融合的背景之下,传统媒体的发展面临着很多的困难,也正是因为众多新媒体形式的出现,才诞生了媒体融合的时代。对于新闻领域来说,媒体融合为其带来了更加多样化的传播渠
研究人员为防控犬细小病毒病的传播研制了多种不同形式的候选疫苗,其中病毒样颗粒是具有较好应用前景的一种候选疫苗,本文就其制备方法及免疫原性的研究进展进行概述。
目的：本课题从临床出发,采用黄连素联合培菲康,以患者近期排便功能为主要疗效评价标准,进行临床对照研究,客观公正地评价黄连素联合培菲康对食管癌术后腹泻的治疗作用。通过研
文化是一个国家的灵魂,文化底蕴深厚与否,是一个国家是否强大的标志,也决定了其在世界文化竞争中能否占据优势地位.中国是一个具有悠久历史的文化强国,几千年来,我国的文化底
【正】 中国是世界上文明发达最早的国家之一,已经有了四千年有文字可考的历史。中国各族人民自古以来就在辽阔的祖国各地从事着辛勤的劳动,与大自然进行过长期的斗争,在长期
目的：质量控制在医院护理质量中的应用效果研究。方法2011年1月至2013年12月，通过建立医院护理质量管理指标，护理人员分层级管理和护理三级质控等方法建立和完善医院全面护理质