An event structure semantics for general Petri nets

Autor: Hoogers, P. W., Kleijn, H. C. M., Thiagarajan, P. S.
Zdroj: Theoretical Computer Science; 1996, Vol. 153 Issue: 1 p129-170, 42p
Databáze: Supplemental Index