swMATH22707MaRDI QIDQ34498FDOQ34498
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1530881
Cited In (23)
- Modeling and targeting an essential metabolic pathway of \textit{Plasmodium falciparum} in apicoplast using Petri nets
- Algorithm 972: jMarkov: an integrated framework for Markov chain modeling
- MARCA
- PhFit
- QSopt
- JaCoP
- HyperStar
- Jphase
- ITEM ToolKit
- RAM Commander FTA
- Butools
- mdp
- jMarkov
- MDPtoolbox
- MTJ
- PyMDPtoolbox
- APT
- MaRDiGraS
- Twister
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
- A Framework for Defining and Comparing Modelling Methods
- Discovering Petri nets including silent transitions. A repairing approach based on structural patterns
- Lifted structural invariant analysis of Petri net product lines
This page was built for software: PIPE2
