T-SYSTEM
Definition
(according to [rt86])
In a T-System there is never any conflict because there are no (forward) branched places.
References
- H. J. Genrich, K. Lautenbach: Synchronisationsgraphen [gl73]
- H. J. Genrich, P. S. Thiagarajan: A Theory of bipolar Synchronisation Schemes [gt84]
- G. Rozenberg, P. S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour [rt86]
BACK