• DSSZ-MC

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

  • Referenced in 26 articles [sw09784]
  • transitions relabeled to fulfill the conditions required to obtain a Petri net. Petrify is able ... free choice, unique choice, place irredundant, etc. The Petri nets accepted by petrify can also ... interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able...
  • pntool

  • Referenced in 2 articles [sw21085]
  • Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic ... instruments to explore the dynamics of Petri net models, as well as animation facilities...
  • MoVisPP

  • Referenced in 3 articles [sw35665]
  • Petri net model of biological networks is built manually by drawing places, transitions and arcs ... networks. We motivate the application of Petri nets for modeling and simulation of biological networks...
  • Anica

  • Referenced in 1 article [sw22198]
  • PBNI+) and place based non-interference with downgrading (PBNID) for safe Petri nets. Anica ... input, Anica requires a safe Petri net, which transitions are labeled with HIGH...
  • GAP

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

  • Referenced in 1921 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

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

  • Referenced in 14 articles [sw00783]
  • rbminer: a tool for discovering Petri nets from...
  • SageMath

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

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • TOPOS

  • Referenced in 43 articles [sw02206]
  • TOPOS -- A new constructive algorithm for nesting problems...
  • FFTW

  • Referenced in 540 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • mctoolbox

  • Referenced in 1485 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • Reo

  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...