• MoVisPP

  • Referenced in 3 articles [sw35665]
  • networks. During the last 15 years, Petri nets have attracted more and more attention ... papers, it seems clear that hybrid functional Petri nets are the adequate method to model ... networks. We motivate the application of Petri nets for modeling and simulation of biological networks ... semi-automatic generation of the correlated hybrid Petri net model. A case study...
  • HYPENS

  • Referenced in 4 articles [sw00422]
  • simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • simulation, analysis and design with hybrid Petri nets This paper presents a MATLAB embedded package ... hybrid Petri nets called SimHPN. It offers a collection of tools devoted to simulation, analysis ... synthesis of dynamical systems modeled by hybrid Petri nets. The package supports several server semantics...
  • PNlib

  • Referenced in 1 article [sw37919]
  • PNlib - An Advanced Petri Net Library for Hybrid Process Modeling. The scope of Modelica...
  • sbioPN

  • Referenced in 5 articles [sw11725]
  • defined using a subset of Petri Nets, in a way that is close ... variants of Gillespie algorithm, or SSA. For hybrid deterministic/stochastic, it employs the Haseltine and Rawlings...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata (LHA), a gen eralization of Deterministic ... terms of a Generalized Stochastic Petri Net), an LHA and an expression Z representing...
  • Coq

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

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

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

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

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

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

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

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

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

  • Referenced in 26 articles [sw00812]
  • Romeo: A tool for analyzing time Petri nets...
  • SageMath

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

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...