Dynamic analysis of Petri net based discrete systems
/ Andrei Karatkevich. - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in control and information sciences; 356)
ISBN 978-3-540-71560-3
Lizenzpflichtig
Quelle: DNB
Entscheidbarkeit bei Petri-Netzen
: Überblick und Kompendium / Harro Wimmel. - Berlin : Springer, 2008. - Online-Ressource - (eXamen.press)
ISBN 978-3-540-85471-5
Lizenzpflichtig
Quelle: DNB
Koycheva, Evelina: Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
/ von Evelina Koycheva. - München : Oldenbourg, 2013. - XVI, 305 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-486-71526-2 / 3-486-71526-7 kart. : EUR 59.80 (DE), EUR 61.50 (AT), sfr 79.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Formal and natural computing
: essays dedicated to Grzegorz Rozenberg / W. Brauer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2300)
ISBN 978-3-540-45711-4
Lizenzpflichtig
Quelle: DNB
Maas, Christoph: Graphentheorie und Operations-Research für Studierende der Informatik
/ Christoph Maas. - 2. veränd. Aufl. - Augsburg : Wissner, 1994. - 139 S. : graph. Darst.; 21 cm - (Inf & Ing; Bd. 1)
ISBN 978-3-928898-60-7 / 3-928898-60-4 kart. : DM 24.80 (freier Pr.)
Quelle: DNB
Maas, Christoph: Graphentheorie und Operations-Research für Studierende der Informatik
/ Christoph Maas. - 1. Aufl. - Augsburg : Wissner, 1993. - 139 S.; 21 cm - (Inf & Ing; Bd. 1)
ISBN 978-3-928898-37-9 / 3-928898-37-X Pb. : DM 24.80 (freier Pr.)
Quelle: DNB
Linz, Reinhard: Grundbegriffe für eine Logik über Ereignisse und Normen
: ein semantischer Ansatz auf der Basis von Petrinetzen / Reinhard Linz. - München : Oldenbourg, 1992. - IX, 275 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 200)
ISBN 978-3-486-22227-2 / 3-486-22227-9 kart. : DM 69.00
Quelle: DNB
High level Petri nets
: theory and application / K. Jensen ; G. Rozenberg (ed.). - Berlin : Springer, 1991. - IX, 724 S. : graph. Darst.; 25 cm
ISBN 978-3-540-54125-7 / 3-540-54125-X kart. : DM 89.00
Quelle: DNB
Lectures on concurrency and Petri nets
: advances in petri nets / Jörg Desel ... (ed.). - Berlin : Springer***5108985, 2004. - VIII, 848 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3098 : Tutorial)
ISBN 978-3-540-22261-3 / 3-540-22261-8 kart. : EUR 87.74 (freier Pr.), sfr 139.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Ferscha, Alois: Modellierung und Leistungsanalyse paralleler Systeme mit dem PRM-Netz-Modell
/ Alois Ferscha. - Wien : Oldenbourg, 1995. - 207 S. : graph. Darst.; 21 cm - (Schriftenreihe der Österreichischen Computer-Gesellschaft; Bd. 65)
ISBN 978-3-486-22388-0 / 3-486-22388-7 kart. : DM 42.00
Quelle: DNB
