【摘 要】
：
<正> 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)
【机 构】
：
西安交通大学系统工程研究所,西安交通大学系统工程研究所西安710049,西安710049
论文部分内容阅读
<正> 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决更多还原
其他文献
In this paper, the importance and phases on the management of dynamic process knowledge are mentioned in view of dynamic changes of business processes in virtua
The efficacy and efficiency of conventional single-population-based genetic algorithm(SGA)decrease with the size of 0-1 Knapsack-Problem. A coevolutionary genet
大量的Web信息资源采用HTML文档形式存放,带来诸多不利因素.其一,HTML文档因包含具体数据内容,不可避免地会涉及到数据冗余和一致性维护的问题.比如,在一个电子商场网站设计
目的探讨宫腔声学造影术联合宫腔镜与宫腔镜在诊断输卵管不孕中临床价值。方法134例不孕患者,所有患者术前均在三级甲等医院做过宫腔镜,比较两者诊断的符合率,所获数据采用XX
随着信息化社会的到来,作为连接全球信息的Internet的业务量日益巨增,正呈现出爆炸性的增长,因此近年各国都高度重视Internet骨干网络的建设,核心网络实现了光纤化,其带宽基
一、引言 语音识别以语音为研究对象,它是语音信号处理的一个重要研究方向,是模式识别的一个分支,涉及到生理学、心理学、语言学、计算机科学以及信号处理等诸多领域,甚至
At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge abil
It is important to generate random number in cryptography. In this paper, we design Pseu-do-random Bit Generator (PRBG), based on Rijndael with a block length o