E-Book, Englisch, 329 Seiten, eBook
Lilius / Penczek Applications and Theory of Petri Nets
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, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-13675-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
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.
