Cited in
(23)- Lifted structural invariant analysis of Petri net product lines
- A Framework for Defining and Comparing Modelling Methods
- 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
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
- MARCA
- PhFit
- QSopt
- JaCoP
- HyperStar
- Jphase
- ITEM ToolKit
- RAM Commander FTA
- Butools
- mdp
- jMarkov
- MDPtoolbox
- MTJ
- PyMDPtoolbox
- APT
- MaRDiGraS
- Twister
- Discovering Petri nets including silent transitions. A repairing approach based on structural patterns
This page was built for software: PIPE2
