von
Preis unbekannt
Susanna Donatelli
CORBA Colored Petri Nets Concurrent Systems Hybrid Systems Networking Petri Nets Scheduling calculus modeling petri net proof