PIPE2
From MaRDI portal
Software:34498
swMATH22707MaRDI QIDQ34498FDOQ34498
Author name not available (Why is that?)
Cited In (6)
- 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
- 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
