The following pages link to (Q3051391):
Displaying 18 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)
- (Q4190159) (← links)
- Stratified petri nets (Q5055926) (← links)
- Dynamic Recursive Petri Nets (Q5100760) (← links)
- (Q5114831) (← links)
- (Q5136306) (← links)
- (Q5155664) (← links)
- Preface: Petri nets for systems and synthetic biology (Q5892632) (← links)
- Preface: Petri nets for systems and synthetic biology (Q5916110) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
