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 language | English |
---|---|
Pages | 932-936 |
Number of pages | 5 |
DOIs | |
Publication status | Published - 2005 |
Externally published | Yes |
Event | Fifth International Conference on Computer and Information Technology, CIT 2005 - Shanghai, China Duration: 21 Sept 2005 → 23 Sept 2005 |
Conference
Conference | Fifth International Conference on Computer and Information Technology, CIT 2005 |
---|---|
Country/Territory | China |
City | Shanghai |
Period | 21/09/05 → 23/09/05 |