期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2015
卷号：8
期号：3
页码：33-40
DOI：10.14257/ijhit.2015.8.3.04
出版社：SERSC
摘要：This paper gives a solution of the synchronic distance between any two transitions in a fair Petri net. In order to describe the synchronic distance between two transitions more accurately, the concept of weighted synchronic distance is adopted. The solution method is firstly to add a weighted observe-place between two transitions, and a net system with a weighted observe-place is constructed by assigning a suitable weight function for an arc between a transition and an observe-place. Then the initial tokens of a weighted observe- place are obtained by constructing an augumented coverability tree of a net system with a weighted observe-place. The synchronic distance between two transitions is finally yielded by constructing a coverability tree of a net system with a weighted observe-place, and the corresponding solution algorithms are also given.
关键词：Fair Petri net; weighted synchronic distance; weighted observe-place; A net ; system with a weighted observe-place; Suitable weight function
