> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Dynamic analysis of petri net-based discrete systems Beteiligte: Karatkevich, Andrei [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Lecture notes in control and information sciences ; 35600 Umfang: XIII, 166 S.; zahlr. graph. Darst; 24 cm Sprache: Englisch ISBN: 3540714642; 9783540714644 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11865797 RVK-Notation: SI 845 : Lecture notes in control and informations sciences Schlagwörter: Systementwurf > Diskretes System > Parallelverarbeitung > Petri-Netz > Zustandsgraph > Formale Methode Entstehung: Anmerkungen: Literaturverz. S. [145] - 159 Weitere Bestandsnachweise 0 : Lecture notes in control and information sciences