The following pages link to (Q3051391):
Displaying 11 items.
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (Q1690502) (← links)
- Petri net models for the semi-automatic construction of large scale biological networks (Q1761685) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- S- and T-invariants in cyber net systems (Q1894326) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Recursive Petri nets (Q2464034) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- Stratified petri nets (Q5055926) (← links)
- (Q5136306) (← links)
