Details
- Autor(en) / Beteiligte
- Titel
- Coloured petri nets : modelling and validation of concurrent systems
- Ort / Verlag
- Berlin [u.a.] : Springer
- Erscheinungsjahr
- 2009
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783642002830OCLC-Nummer: 890617358, 890617358Titel-ID: 990011060700106463
- Format
- XI, 384 S. : graph. Darst.
- Systemstelle
- TVG
- Schlagworte
- Gefärbtes Petri-Netz