论文部分内容阅读
根据描述工作流模型的实际应用背景,提出了非确定变迁、非确定Petri网等概念,并定义了Petri网的等价关系,证明了在这种等价关系的意义下,非确定Petri网与传统的确定Petr i网的等价性.
非确定Petri网
【摘 要】
：
根据描述工作流模型的实际应用背景,提出了非确定变迁、非确定Petri网等概念,并定义了Petri网的等价关系,证明了在这种等价关系的意义下,非确定Petri网与传统的确定Petr i网
【机 构】
：
西北大学软件工程研究所,中国人民公安大学科技系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年3期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
随着信息技术的不断发展,信息技术产品的不断出现,信息技术在当今经济社会生活中发挥的作用越来越大,同时也提高了对学生的要求。基础教育阶段的信息技术教育不再局限于对学生基本操作能力的培养,而是扩展到思维培养、理念改进等领域,但在实际的教学过程中信息技术课程的教学效果并不理想。信息技术课程的教学依旧以基本操作为主,忽视对学生理念思维上的培养。目前国家出台了多项推进信息技术教学工作的政策文件,然而在实际的
目的探讨临床药师在化疗相关性腹泻患者药物治疗中的作用及监护重点,初步建立化疗相关性腹泻患者监护模式。方法结合化疗相关性腹泻治疗原则,分析治疗方案,制订化疗相关性腹
本刊讯6月12日，法库县“打造千亿产业集群，争创中国陶瓷之都”招商推介会隆重举行。来自广东、福建、河北、江西等地的近80家陶瓷企业代表参会。
炎症性肠病(IBD)是由自身免疫紊乱所导致的一种慢性、反复发作的肠道炎症。包括克罗恩病(CD)和溃疡性结肠炎(UC),可由多种因素如环境、肠道菌群失调等诱发。TNF-α一直被认为
介绍基于MDT平台的家具产品三维参数化设计CAD系统开发技术和方法，通过讨论MDT体系结构，针对家具产品设计特点，提出了基于MDT3．0软件平台的家具产品面向装配设计的CAD系统框架，利
伴随着企业的不断发展壮大,企业逐渐成为多元化、综合性的集团化企业组织,将不可避免地会遇到企业集团内部股权架构调整,本文拟通过对同一控制下企业合并的股权转让定价进行
钛及钛合金具有优良的机械性能和生物相容性,在口腔及外科矫形种植领域中,是广泛应用的种植体材料。为了使钛种植体具有明确的目标性及特定分子间的可识别性,引导快速、特异
目的 分析探讨脑梗塞应用补阳还五汤联合康复治疗的效果.方法 选取2011年1月到2013年12月收治的50例脑梗塞患者作为研究对象,按照数字抽签法将其随机分为研究组与对照组,每组
排污权交易二级市场,其建立有正当的理论基础及必要性,可通过对污染治理责任进行重新分配实现资源及环境容量合理配置,最终达到治理环境的目的。自试点工作开展至今,试点地区
本文较详细地研究了基于ＶＰ概念的传输技术和网络结构，给出了公共电信分层化的实现机制和ＢＩＳＤＮ网络结构，同时对Ｖ的优势及其对传输网络体系结构的影响也进行了阐述。