The following pages link to PIPE2 (Q34498):
Displayed 6 items.
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Modeling and targeting an essential metabolic pathway of \textit{Plasmodium falciparum} in apicoplast using Petri nets (Q2132734) (← links)
- Discovering Petri nets including silent transitions. A repairing approach based on structural patterns (Q2673764) (← links)
- Algorithm 972 (Q3176331) (← links)
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters (Q5168515) (← links)
- A Framework for Defining and Comparing Modelling Methods (Q5256361) (← links)