Abstract
The characterization for live and reversible augmented marked graphs is proposed. The characterization provides a simpler necessary and sufficient condition for efficient checking of their liveness and reversibility. Small subset of minimal siphons which can be identified through cycles are considered for the characterization. It is observed that since the minimal siphons are themselves marked traps, they never become empty.
| Original language | English |
|---|---|
| Pages (from-to) | 239-243 |
| Number of pages | 5 |
| Journal | Information Processing Letters |
| Volume | 92 |
| Issue number | 5 |
| DOIs | |
| Publication status | Published - 16 Dec 2004 |
| Externally published | Yes |
Keywords
- Augmented marked graphs
- Manufacturing systems
- Petri nets
- Software design