Jensen | Coloured Petri Nets | Buch | 978-3-642-08243-6 | sack.de

Buch, Englisch, 236 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g

Reihe: Monographs in Theoretical Computer Science. An EATCS Series

Jensen

Coloured Petri Nets


Basic Concepts, Analysis Methods and Practical Use. Volume 1

Buch, Englisch, 236 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 388 g

Reihe: Monographs in Theoretical Computer Science. An EATCS Series

ISBN: 978-3-642-08243-6
Verlag: Springer

The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications.
The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.
Jensen Coloured Petri Nets jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Jensen, Kurt

Fachgebiete

Weitere Infos & Material

1 Informal Introduction to Coloured Petri Nets.- 2 Formal Definition of Coloured Petri Nets.- 3 Hierarchical Coloured Petri Nets.- 4 Dynamic and Static Properties of Coloured Petri Nets.- 5 Formal Analysis of Coloured Petri Nets.- 6 Computer Tools for Coloured Petri Nets.- 7 Industrial Applications of Coloured Petri Nets.- References.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.