扩展的信牌驱动模型中配对结构之研究

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

【摘要】

：

在分层的工作流模型研究的基础上,指出了WPDL中AND-JOIN的语义问题,并在扩展的信牌驱动模型层,对配对结构进行了系统、深入的研究.形式地定义了最宽泛的配对概念和严格的正则

【作者】

：

王斌君董护斌郝克刚

【机构】

：

中国公安大学,西北大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2003年11期

【关键词】

：

工作流模型扩展的信牌驱动模型配对 PETRI网 workflow model extended Xinpai model pair normal pa

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

在分层的工作流模型研究的基础上,指出了WPDL中AND-JOIN的语义问题,并在扩展的信牌驱动模型层,对配对结构进行了系统、深入的研究.形式地定义了最宽泛的配对概念和严格的正则配对的概念,分析了它们各自的优缺点.然后定义了一个既有严格语义、性能可以确定,但要求相对宽泛、相对比较实用的扩展正则配对的概念.利用此概念,严格地定义了扩展的信牌驱动模型.

其他文献

新型宫颈扩张塞在人流术中的应用

将新型宫颈扩张塞(下称新型塞)放置在宫颈管内，以期预告缓慢地将宫口扩张，这样，不仅可避免术时用金属扩张器强迫性扩张宫颈口造成的颈管损伤和子宫穿孔，还可以缩短手术时间，减轻了

期刊

宫颈扩张塞早孕人工流产术

VPN的实现机制和系统评价

本文对VPN的各种实现机制,包括VPN的逻辑结构,寻址方式,封装方案,安全性能 ,传输效率等方面进行分析,对实现VPN的一些基本模型,如IP Sec,VPND,PPTP,L2TP进行了分析和比较.在

期刊

VPN实现机制系统评价封装虚拟专用网INTERNET计算机网络VPN mechanism encapsulation VPND

城市污水生态景观回用现状及安全保障技术

再生水经城市污水处理后已经作为城市供水的一种新的可靠水源受到广泛关注。对城市污水回用于生态景观水体的概念及内涵、目前主要存在的问题及安全保障技术进行了分析和阐述

期刊

城市污水回用生态景观安全保障

面向对象的元计算系统的单一映象空间模型研究

随着计算机网络技术的成熟,基于网络的高性能计算技术正趋向异构节点间的元计算技术方向发展.元计算系统的研究目标是:将地理上分布的、属于不同管理域的、运行不同软件的、

期刊

单一映象空间模型计算机网络元计算系统面向对象Single-image space modelMetacomputing MetasystemObj

创新计算及其应用研究

本文从认知模型的角度对创新计算及其应用的研究进展进行了综合分析,归纳出计算模型、计算方法以及应用等主要方面,分析了它们的研究方法以及存在的主要问题,目的是为进一步

期刊

创造性思维认知模型创新计算专家系统Creative thinking Cognitive model Thought computation

Linux平台下的组件对象模型及其实现

提出了一个基于Linux平台的组件对象模型SCOM.首先讨论在Linux平台上实现二进制组件的基础,然后描述一个通用的组件对象模型SCOM.最后,介绍了SCOM的一个具体实现,以及它在Lin

期刊

组件对象模型二进制组件二进制接口类厂设计模式入侵检测系统component object model binary component bina

扩展的信牌驱动模型中配对结构之研究

其他学术论文