Overview

Petri nets

GUI

  • APNNed

    • Functional analysis:

  • Invariant analysis
  • Liveness
  • Model checking

    • Quantitative analysis:

    Simulation

  • APNNsim

    • Numerical

  • NSolve
  • Parallel
  • SupGSPN

    • List of grammars

  • APNN
  • rewards
  • invariants
  • traces
  • results

    • Case Studies
    Members
    Publications

    Comments send please to the developers of the APNN-Toolbox.
    Spam-Protection (Replace (at) by @)