文件名称：关于Petri网中同步距离定义的研究 (2013年)
文件大小：403KB
文件格式：PDF
更新时间：2024-05-15 20:50:04
自然科学 论文
同步距离是描述2个事件间同步的一个重要的恒定性质，反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义，通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化，引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑；对于处于公平关系的变迁根据T-跨分3种情况，讨论了同步距离的求解，并通过实例解决了原有定义存在的问题。