The SCEAS System
Navigation Menu

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]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002