Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
2010 (conf/apn/2010)

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