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
- 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
- Algorithm 972
- Lifted structural invariant analysis of Petri net product lines
This page was built for software: PIPE2
