
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 ... semiautomatic 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 highlevel language and interactive...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NetworkX
 Referenced in 119 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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, opensource 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...