PIPE2
From MaRDI portal
Cited in
(23)- MARCA
- PhFit
- QSopt
- JaCoP
- HyperStar
- Jphase
- Lifted structural invariant analysis of Petri net product lines
- Modeling and targeting an essential metabolic pathway of \textit{Plasmodium falciparum} in apicoplast using Petri nets
- ITEM ToolKit
- RAM Commander FTA
- Butools
- Discovering Petri nets including silent transitions. A repairing approach based on structural patterns
- Algorithm 972: jMarkov: an integrated framework for Markov chain modeling
- mdp
- jMarkov
- MDPtoolbox
- PyMDPtoolbox
- MTJ
- APT
- MaRDiGraS
- Twister
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
- A Framework for Defining and Comparing Modelling Methods
This page was built for software: PIPE2
