The following pages link to SNOOPY (Q16562):
Displaying 31 items.
- Modeling membrane systems using colored stochastic Petri nets (Q269787) (← links)
- Hybrid representation and simulation of stiff biochemical networks (Q360624) (← links)
- Inferring reaction systems from ordinary differential equations (Q498919) (← links)
- IDD-based model validation of biochemical networks (Q548487) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Competitive randomized algorithms for nonuniform problems (Q1329146) (← links)
- Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (Q1690502) (← links)
- Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679) (← links)
- Petri net models for the semi-automatic construction of large scale biological networks (Q1761685) (← links)
- Modeling innate immune response to early Mycobacterium infection (Q1929608) (← links)
- Reconstruction of extended Petri nets from time-series data by using logical control functions (Q1937894) (← links)
- Colouring fuzziness for systems biology (Q2034778) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma (Q2160695) (← links)
- Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
- Boolean network analysis through the joint use of linear algebra and algebraic geometry (Q2415824) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle (Q2849445) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- PeCAn: Compositional Verification of Petri Nets Made Easy (Q3457799) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- (Q4417919) (← links)
- (Q4427911) (← links)
- (Q4818798) (← links)
- Algebraic Models and Their Use in Systems Biology (Q4979491) (← links)
- Petri Nets Are a Biologist’s Best Friend (Q5500404) (← links)
- Correct Hardware Design and Verification Methods (Q5897071) (← links)
