Elimination of duplicate labels in Petri-net-based system specification

K. S. Cheung, K. O. Chow

Research output: Contribution to conferencePaperpeer-review

5 Citations (Scopus)

Abstract

Labelled Petri 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. It is often in a Petri-net-based specification that the same condition label or event label appears in multiple locations. As every condition is finally implemented as a unique state and every event as a unique operation, in order for the system specification to become useful for implementation, all duplicate condition labels and event labels must be eliminated. In this paper, we propose a method for eliminating the duplicate labels. Firing sequences are preserved so that the intended system behaviours will not be altered.

Original languageEnglish
Pages932-936
Number of pages5
DOIs
Publication statusPublished - 2005
Externally publishedYes
EventFifth International Conference on Computer and Information Technology, CIT 2005 - Shanghai, China
Duration: 21 Sept 200523 Sept 2005

Conference

ConferenceFifth International Conference on Computer and Information Technology, CIT 2005
Country/TerritoryChina
CityShanghai
Period21/09/0523/09/05

Fingerprint

Dive into the research topics of 'Elimination of duplicate labels in Petri-net-based system specification'. Together they form a unique fingerprint.

Cite this