Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Devillers / Valmari | Application and Theory of Petri Nets and Concurrency | E-Book | sack.de
E-Book

E-Book, Englisch, 351 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Devillers / Valmari Application and Theory of Petri Nets and Concurrency

36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Erscheinungsjahr 2015
ISBN: 978-3-319-19488-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

E-Book, Englisch, 351 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-319-19488-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
Devillers / Valmari Application and Theory of Petri Nets and Concurrency jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Devillers, Raymond
Valmari, Antti

Weitere Infos & Material

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.- Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.- On Interval Process Semantics of Petri Nets with Inhibitor Arcs.- An SRN-Based Resiliency Quantification Approach.- Non-atomic Transition Firing in Contextual Nets.- Discrete Parameters in Petri Nets.- Negotiation Programs.- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.- Charlie – An Extensible Petri Net Analysis Tool.- Petri Nets with Structured Data.- On the Reversibility of Live Equal-Conflict Petri Nets.- SNAKES: A Flexible High-Level Petri Nets Library.- Characterizing Stable Inequalities of Petri Nets.- Process Discovery Using Localized Events.- New Search Strategies for the Petri Net CEGAR Approach.- Workflow Management Principles for Interactions Between Petri Net-Based Agents.

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.