Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Jensen, Kurt (autor)
Weitere Verfasser: Kristensen, Lars M. (autor) (autor)
Format: Buch
Sprache:Englisch
Veröffentlicht: Berlín, Alemania : Springer, 2009, c2009
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
Beschreibung
Beschreibung:XI, 384 p.
ISBN:978-3-642-00283-0