【摘 要】
：
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易
【机 构】
：
安徽理工大学理学院,山东科技大学信息科学与工程学院
【基金项目】
：
国家自然科学基金（60673053,60603090）.
论文部分内容阅读
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法。对另一个Petri网子类——标识T-网给出了其同步距离的计算方法。标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行。文中给出
其他文献
针对网格环境下高能物理计算的需求，基于现有的网格中间件，提出并设计了一个网格文件系统HEP-GridFS，目的是将异构的、动态变化的、大规模的网格存储资源虚拟成单一的、稳定的文
目的：观察并比较头皮钢针、静脉留置针、经外周静脉穿刺置入中心静脉导管（PICC）在血液科患者中应用情况。方法：将血液科静脉输液患者分为3组,分别选择不同的输液方式,记录所需费
某化工厂成立于1992年,2008年1月PVC合成装置扩建为15×104吨/年。随着生产规模和产量的增加,生产工艺的改进,其生产过程中产生的职业病有害因素的种类和强度也随之发生
护理是一种整体观的健康照护，包括身体护理和心理护理。目前，虽然在认识身体功能方面已经取得了很大的进步，但对于精神方面的认识还很缺乏，并且很难对这方面做出正确的认识。
以26个植物纤维原料为实验材料,由20个样品作校正样品,采用径向基核函数方法对纤维原料中甲氧基含量与纤维原料样品近红外光谱进行支持向量机(SVM)回归建模。以所建SVM回归模
目的：比较Cortisomol糊剂（碧兰糊剂）加牙胶尖和常用根管充填剂即氧化锌丁香油糊剂加牙胶尖充填根管后的反应和远期疗效。方法：门诊就诊的需要做根管治疗的300例患者,随机分为观察
工业和信息化部办公厅不久前发出《贯彻落实国务院关于加强食品安全工作决定的通知》，通知要求，为进一步落实食品安全重点工作任务，保障食品质量安全，促进食品行业健康发展，要加大
目的：探讨前路减压内固定治疗胸腰椎爆裂骨折的效果。方法：总结20例前路减压内固定手术治疗胸腰椎爆裂骨折的方法。结果：20例手术切口均一期愈合,全部获得随访,随访时间6～24个月,
提出了一种分散式体系结构的高可靠文件存储系（DHAFS），各个存储节点相互协作，将本地的存储资源虚拟化为一个全局的存储空间，实现统一的文件名字空间，向客户端提供文件接口，存储、缓
随着对海量数据处理的广泛需求,对数据库系统的性能也提出了更高的要求。本文介绍了一种带快照的混合数据库系统的设计。它在传统数据库系统基于磁盘存储的基础上,选择部分需被频繁或快速访问的数据以快照的形式组织在主存中,从而兼顾了处理海量数据和快速响应用户访问要求两方面的需求。最后,简要给出了一个在地理信息系统中的应用实例。