• APT

  • Referenced in 21 articles [sw23176]
  • Synthesis: Uli Schlachter: Petri Net Synthesis for Restricted Classes of Nets. In Petri Nets...
  • Petrify

  • Referenced in 27 articles [sw09784]
  • Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify reads...
  • Genet

  • Referenced in 5 articles [sw09785]
  • tool for the synthesis and mining of Petri nets. State-based representations of concurrent systems ... allows the derivation of a general Petri net from a state-based representation ... tool supports two modes of operation: synthesis and mining. Applications of these two modes range...
  • CASCADE

  • Referenced in 8 articles [sw01385]
  • synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net ... chosen style, and interfaces with existing synthesis tools (petrify for SI circuits...
  • VipTool

  • Referenced in 15 articles [sw13755]
  • concept for business processes given by Petri nets, which is based on the generation ... ordered runs of p/t-nets. Namely, functionalities for synthesis, unfolding (combined with respective validation) and testing...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • MATLAB embedded package for hybrid Petri nets called SimHPN. It offers a collection of tools ... simulation, analysis and synthesis of dynamical systems modeled by hybrid Petri nets. The package supports...
  • Gadara

  • Referenced in 1 article [sw09940]
  • form of a Petri net, feedback control synthesis, and control logic implementation into the source...
  • Synet

  • Referenced in 3 articles [sw18079]
  • software package synthesizing bounded Petri-nets, based on the algorithms described ... also comprizes a new synthesis algorithm based on the computation of extremal rays of polyhedral...
  • SyPet

  • Referenced in 2 articles [sw21706]
  • synthesis. The key novelty of our approach is the use of a compact Petri-net...
  • PetriFlow

  • Referenced in 1 article [sw37920]
  • paper presents an architecture of a Petri net based framework for modelling and control ... PNEditor. Then the paper describes method of synthesis Separating feasible places and an algorithm ... number of places in the resulting Petri net...
  • 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...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • 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...
  • MCGP

  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • 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...