论文部分内容阅读
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的.
Petri网替换运算
【摘 要】
：
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关
【机 构】
：
山东科技大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2005年11期
【基金项目】
：
中国科学院资助项目
其他文献
集群系统以很高的性价比和良好的可扩展性而成为当今高性能研究的一大新热点,如何评价与优化集群系统的特性也成为一个很关键的问题.本文通过采用全世界TOP500计算机排名所用
用石油焦与3种不同的分散剂成浆，研究几种因素对水焦浆流变特性的影响。结果表明水焦浆的流变特性主要取决于石油焦本身的性质。其次对其有影响的因素主要是粒度和分散剂种类，
数据挖掘在最近几年里已被数据库界所广泛研究,而搜索频繁项集是诸如关联规则挖掘、序列模式挖掘等数据挖掘问题中的关键步骤。本文描述了频繁项集挖掘问题的特点,并根据搜索
首先分析了目前卫星网中流行的离线路由算法由于无法获知当前网络中流量的分布和链路的状态,因此无法对路由进行优化,也无法绕开故障链路的缺陷.针对这些缺陷,提出了一种抗毁
网格研究正在得到学术界的广泛重视,其体系结构研究是网格技术重要的研完内容.本文研究了目前网格技术研完现状,根据万维网的"无尺度"特性,从实际的应用需求出发,提出了广播
Web服务环境下的业务流程需要事务机制来保障其运行的可靠性和结果的一致性.本文分析了Web服务环境下事务的特点及挑战性问题,介绍了针对这些问题进行的相关工作.在综合这些
认证字典是一类重要的数据结构,它在众多研究领域都具有重要的理论和应用价值,诸如科学数据挖掘、地理数据服务器、Internet上的第三方数据发布以及PKI中的证书撤销等.本文介
接纳控制是实现IP网络QoS最重要的手段之一,长期以来一直受到广大研究者的关注,基于不同理论的各种接纳控制机制不断出现.这些接纳控制机制在一定程度上都能满足QoS的需求,但