标识T-网中同步距离的计算

计算机科学 ›› 2008, Vol. 35 ›› Issue (10): 100-103.

标识T-网中同步距离的计算

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（60673053,60603090）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法。对另一个Petri网子类——标识T-网给出了其同步距离的计算方法。标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行。文中给出

关键词: 同步距离标识T-网源库所控制库所控制库所接入变迁

Abstract: Synchronic distance is an important analyzing metric to describe the dependence relationship between two events. Because computation of synchronic distance involves both structure and initial marking of net systems, a simple and feasible algorithm which c

Key words: Synchronic distance,Marked T-net,Source place,Control place,Transition connected to control place

. 标识T-网中同步距离的计算[J]. 计算机科学, 2008, 35(10): 100-103. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed