Rabe, Markus: Modellierung von Layout und Steuerungsregeln für die Materialfluss-Simulation
/ Markus Rabe. Produktionstechnisches Zentrum Berlin (PTZ) ... Hrsg.: Kai Mertins. - Stuttgart : Fraunhofer-IRB-Verl., 2003. - XIV, 198 S. : graph. Darst.; 21 cm - (Berichte aus dem Produktionstechnischen Zentrum Berlin)
ISBN 978-3-8167-6262-1 / 3-8167-6262-X kart. : EUR 15.20
Quelle: DNB
Modelling, analysis, and design of hybrid systems
/ S. Engell ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in control and information sciences; 279)
ISBN 978-3-540-45426-7
Lizenzpflichtig
Quelle: DNB
Modelling, analysis, and design of hybrid systems
/ S. Engell ... (ed.). - Berlin : Springer, 2002. - XIII, 504 S. : graph. Darst.; 24 cm - (Lecture notes in control and information sciences; Vol. 279)
ISBN 978-3-540-43812-0 / 3-540-43812-2 kart. : EUR 120.38
Literaturverz. S. 467 - 499
Quelle: DNB
Vogler, Walter: Modular construction and partial order semantics of Petri nets
/ W. Vogler. - Berlin : Springer, 1992. - VIII, 252 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 625)
ISBN 978-3-540-55767-8 / 3-540-55767-9 kart. : DM 58.00
Quelle: DNB
Cacutalua, Ndombe: On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance
/ Ndombe Cacutalua. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - X, 216 S. : graph. Darst.; 24 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 221)
ISBN 978-3-486-22859-5 / 3-486-22859-5 kart. : DM 59.00, sfr 65.00, S 461.00
Quelle: DNB
Bhattacharya, Alakananda: Parallel and distributed logic programming
: towards the design of a framework for the next generation database machines / Alakananda Bhattacharya ; Amit Konar ; Ajit K. Mandal. - Berlin : Springer, 2006. - XIII, 291 S. : graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 24)
ISBN 978-3-540-33458-3 / 3-540-33458-0 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Petri nets and other models of concurrency
: proceedings / ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25 - 29, 2007. Jetty Kleijn ; Alex Yakovlev (ed.). - Berlin : Springer, 2007. - XI, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4546)
ISBN 978-3-540-73093-4 / 3-540-73093-1 kart. : EUR 68.48 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Petri nets and other models of concurrency
: proceedings / ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25 - 29, 2007. Jetty Kleijn ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4546)
ISBN 978-3-540-73094-1
Lizenzpflichtig
Quelle: DNB
Petri nets and other models of concurrency
: proceedings / ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26 - 30, 2006. Susanna Donatelli ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4024)
ISBN 978-3-540-34700-2
Lizenzpflichtig
Quelle: DNB
Girault, Claude: Petri nets for systems engineering
: a guide to modeling, verification, and applications ; with 9 tables / Claude Girault ; Rüdiger Valk. - Berlin : Springer, 2003. - XVI, 607 S. : graph. Darst.; 24 cm
ISBN 978-3-540-41217-5 / 3-540-41217-4 Pp. : EUR 69.50
Literaturverz. S. 571 - 599
Quelle: DNB
