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
Herrtwich, Ralf Guido: Nebenläufige Programme
/ Ralf Guido Herrtwich ; Günter Hommel. [Kap.-Ill. von Ralf Krischker]. - 2. Aufl. - Berlin : Springer, 1994. - XVII, 463 S. : Ill., graph. Darst.; 25 cm - (Springer-Lehrbuch)
ISBN 978-3-540-57783-6 / 3-540-57783-1 Pp. : DM 78.00
Literaturverz. S. 449 - 455
Quelle: DNB
Object-based concurrent computing
: workshop Geneva, Switzerland, July 15 - 16, 1991 ; proceedings / ECOOP '91. M. Tokoro ... (ed.). - Berlin : Springer, 1992. - X, 264 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 612)
ISBN 978-3-540-55613-8 / 3-540-55613-3 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Stein, Wolfgang: Objektorientierte Analyse für nebenläufige Systeme
: die Methode MORE/RT / von Wolfgang Stein. - Mannheim : BI-Wiss.-Verl., 1995. - 314 S. : graph. Darst.; 21 cm - (Forschung in der Softwaretechnik; Bd. 2)
ISBN 978-3-411-17231-3 / 3-411-17231-2 kart. : DM 68.00, sfr 68.00, S 531.00
Quelle: DNB
Hüsener, Thomas: Objektorientierter Entwurf von nebenläufigen, verteilten und echtzeitfähigen Softwaresystemen
/ Thomas Hüsener. - Heidelberg : Spektrum, Akad. Verl., 1995. - 265 S. : graph. Darst.; 21 cm - (Forschung in der Softwaretechnik)
ISBN 978-3-86025-708-1 / 3-86025-708-0 kart : DM 98.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
Godefroid, Patrice: Partial order methods for the verification of concurrent systems
: an approach to the state explosion problem / Patrice Godefroid. - Berlin : Springer, 1996. - 142 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1032)
ISBN 978-3-540-60761-8 / 3-540-60761-7 kart. : DM 38.00
Literaturverz. S. 133 - 142
Quelle: DNB
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
