7 M. Silva K. Voss H. Genrich G. Rozenberg 1987 Towards a Synchrony Theory for P/T Nets Concurrency and Nets Springer-Verlag 435-460