The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Component-Based Construction of Heterogeneous Real-Time Systems in Bip. [Citation Graph (, )][DBLP]

  2. Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP]

  3. Reaction Systems: A Formal Framework for Processes. [Citation Graph (, )][DBLP]

  4. Simple Composition of Nets. [Citation Graph (, )][DBLP]

  5. Towards a Standard for Modular Petri Nets: A Formalisation. [Citation Graph (, )][DBLP]

  6. Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP]

  7. Pomset Languages of Finite Step Transition Systems. [Citation Graph (, )][DBLP]

  8. Deficiency Zero Petri Nets and Product Form. [Citation Graph (, )][DBLP]

  9. Bisimilarity Minimization in O(m logn) Time. [Citation Graph (, )][DBLP]

  10. P-Semiflow Computation with Decision Diagrams. [Citation Graph (, )][DBLP]

  11. Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP]

  12. Hasse Diagram Generators and Petri Nets. [Citation Graph (, )][DBLP]

  13. Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. [Citation Graph (, )][DBLP]

  14. Oclets - Scenario-Based Modeling with Petri Nets. [Citation Graph (, )][DBLP]

  15. Hornets: Nets within Nets Combined with Net Algebra. [Citation Graph (, )][DBLP]

  16. Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP]

  17. Compositional Service Trees. [Citation Graph (, )][DBLP]

  18. ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]

  19. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. [Citation Graph (, )][DBLP]

  20. DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. [Citation Graph (, )][DBLP]

  21. Workcraft - A Framework for Interpreted Graph Models. [Citation Graph (, )][DBLP]

  22. PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. [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