Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Lilius / Penczek | Applications and Theory of Petri Nets | E-Book | www.sack.de
E-Book

E-Book, Englisch, 329 Seiten, Web PDF

Reihe: Computer Science

Lilius / Penczek Applications and Theory of Petri Nets

31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-13675-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

E-Book, Englisch, 329 Seiten, Web PDF

Reihe: Computer Science

ISBN: 978-3-642-13675-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Lilius / Penczek Applications and Theory of Petri Nets jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Lilius, Johan
Penczek, Wojciech

Weitere Infos & Material

Invited Papers.- Instance Deadlock: A Mystery behind Frozen Programs.- Some Thoughts on Behavioral Programming.- Petri Nets with Localities and Testing.- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.- Full Papers.- Can Stubborn Sets Be Optimal?.- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.- Canonical Transition Set Semantics for Petri Nets.- A Characterization of Combined Traces Using Labeled Stratified Order Structures.- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets.- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.- Forward Analysis for Petri Nets with Name Creation.- Learning Workflow Petri Nets.- Process Mining from a Basis of State Regions.- Separability in Persistent Petri Nets.- New Algorithms for Deciding the Siphon-Trap Property.- Tool Papers.- AlPiNA: A Symbolic Model Checker.- Wendy: A Tool to Synthesize Partners for Services.- GreatSPN Enhanced with Decision Diagram Data Structures.- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

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.