Traps and Place Invariants of Generic System Nets
Analogously to Chapters 10 and 11, traps and place invariants can also be formulated for generic system nets. Traps are less important here, and we will show only one example. The place-invariant calculus uses expressions as they occur in arc labelings.
KeywordsPhilosopher System Intuitive Meaning Play Area Dine Philosopher Pebble Game
Unable to display preview. Download preview PDF.