Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Lilius, Johan (Editor), Penczek, Wojciech (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6128
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Computation by Abstract Devices.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.

Table of Contents:

• 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.