• MARCIE

  • Referenced in 8 articles [sw12882]
  • analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis ... logics. MARCIE’s analysis engines for bounded Petri net models are based on Interval Decision...
  • PNML

  • Referenced in 40 articles [sw03257]
  • markup language. The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics ... based language: PNML. This language is bound to evolve together with future developments ... standard. It provides developers of Petri net tools with a convenient and fast...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • supports the symbolic analysis of bounded place/ transition Petri nets extended by read, inhibitor, equal...
  • Synet

  • Referenced in 3 articles [sw18079]
  • Synet: A Synthesizer of Distributable Bounded Petri-Nets from Finite Automata. Synet is a software ... package synthesizing bounded Petri-nets, based on the algorithms described...
  • ITPN-perfbound

  • Referenced in 2 articles [sw02721]
  • ITPN-PerfBound: a performance bound tool for interval time Petri nets The ITPN-PerfBound ... Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly ... computation of upper and lower bounds of classical performance metrics, such as throughput and cycle...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • theoretical background to reason about Petri nets, inheriting their properties with all the techniques available ... Logic language Maude, of a bounded model checker for Petri-PDL. The Petri-PDL model...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • dynamical systems modeled by hybrid Petri nets. The package supports several server semantics ... possibility of computing steady state throughput bounds for continuous nets. For such a class...
  • PNMC

  • Referenced in 1 article [sw29139]
  • Symbolic Model Checker for Petri Nets: pnmc. Symbolic model checking with decision diagrams ... Indeed, they are both CPU and memory bounded: in addition to the algorithms complexity ... pnmc, a symbolic model checker for Petri Nets, and libsdd, its associated library which implements...
  • PICASSO

  • Referenced in 1 article [sw36776]
  • Picasso is a static analyzer for depth-bounded systems (DBS). The main use case ... structured graph rewriting systems that generalize Petri nets and subsume a diverse range of infinite...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • MARCA

  • Referenced in 32 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...