Grzegorz Rozenberg
Petri net models Petri-Netz-Modelle Problemkomplexität Prozeßalgebra concurrent systems distributed systems konkurrente Systeme logic petri net problem complexity process algebra semantics algorithm analysis and problem complexity