TY - GEN
T1 - An algorithm for eliminating duplicate labels of a labelled Petri net
AU - Cheung, K. S.
PY - 2008
Y1 - 2008
N2 - Labelled Petri nets or labelled nets are commonly used for system specification where the locations of conditions are denoted as places with condition labels and the locations of events as transitions with event labels. For unique representation of conditions and events, elimination of duplicate labels is required. In this paper, an algorithm is proposed for such purpose through the fusion of common subnets. The algorithm has three distinctive features. First, the units of fusing are subnets instead of individual places and transitions. Second, the groups of common subnets identified for fusing are maximal and disjoint so that the fusion need to be done only once. Third, the fusion preserves firing sequences so that the specified system behaviours will not be altered.
AB - Labelled Petri nets or labelled nets are commonly used for system specification where the locations of conditions are denoted as places with condition labels and the locations of events as transitions with event labels. For unique representation of conditions and events, elimination of duplicate labels is required. In this paper, an algorithm is proposed for such purpose through the fusion of common subnets. The algorithm has three distinctive features. First, the units of fusing are subnets instead of individual places and transitions. Second, the groups of common subnets identified for fusing are maximal and disjoint so that the fusion need to be done only once. Third, the fusion preserves firing sequences so that the specified system behaviours will not be altered.
UR - http://www.scopus.com/inward/record.url?scp=54149108254&partnerID=8YFLogxK
U2 - 10.1109/CCCM.2008.360
DO - 10.1109/CCCM.2008.360
M3 - Conference contribution
AN - SCOPUS:54149108254
SN - 9780769532905
T3 - Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
SP - 74
EP - 78
BT - Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
T2 - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
Y2 - 3 August 2008 through 4 August 2008
ER -