合肥工业大学学报（自然科学版）
閤肥工業大學學報（自然科學版）
합비공업대학학보（자연과학판）
JOURNAL OF HEFEI UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE)
2013年
3期
303-308
,共6页
王丽丽%吴哲辉%方贤文%刘道浩
王麗麗%吳哲輝%方賢文%劉道浩
왕려려%오철휘%방현문%류도호
Petri网%同步距离定义%观察库所%T-跨
Petri網%同步距離定義%觀察庫所%T-跨
Petri망%동보거리정의%관찰고소%T-과
Petri net%synchronic distance definition%observe-place%T-bestride
同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度.它对系统的设计、分析和优化提供了很大的帮助.文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统.随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离.新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑；对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题.
同步距離是描述2箇事件間同步的一箇重要的恆定性質,反映瞭2箇變遷之間的獨立程度.它對繫統的設計、分析和優化提供瞭很大的幫助.文章研究瞭Petri網中的同步距離的定義,通過實例分析指齣原有定義適用于含有有嚮迴路的網繫統.隨後將原有定義細化,引入公平性、亞公平性、T-跨來定義新的同步距離.新定義將處于非公平關繫的變遷根據亞公平關繫分2類情況攷慮；對于處于公平關繫的變遷根據T-跨分3種情況,討論瞭同步距離的求解,併通過實例解決瞭原有定義存在的問題.
동보거리시묘술2개사건간동보적일개중요적항정성질,반영료2개변천지간적독립정도.타대계통적설계、분석화우화제공료흔대적방조.문장연구료Petri망중적동보거리적정의,통과실례분석지출원유정의괄용우함유유향회로적망계통.수후장원유정의세화,인입공평성、아공평성、T-과래정의신적동보거리.신정의장처우비공평관계적변천근거아공평관계분2류정황고필；대우처우공평관계적변천근거T-과분3충정황,토론료동보거리적구해,병통과실예해결료원유정의존재적문제.
