Petri Net Approaches for Modelling and Validation

van der Aalst, Wil M. P.; Colom, J.-M.; Kordon, F.; Kotsis, G.; Moldt, D.

Lincom, München, Germany (2003)
Buch

In: LINCOM Studies in Computer Sciencevolume=1

Einrichtungen

• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
• Fachgruppe Informatik [120000]