SNOOPY
From MaRDI portal
Software:16562
No author found.
Related Items (31)
Modeling membrane systems using colored stochastic Petri nets ⋮ Competitive randomized algorithms for nonuniform problems ⋮ Chromar, a rule-based language of parameterised objects ⋮ PeCAn: Compositional Verification of Petri Nets Made Easy ⋮ Unnamed Item ⋮ Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma ⋮ Unnamed Item ⋮ Hybrid representation and simulation of stiff biochemical networks ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Modeling innate immune response to early Mycobacterium infection ⋮ Boolean network analysis through the joint use of linear algebra and algebraic geometry ⋮ Chromar, a language of parameterised agents ⋮ Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights ⋮ Reconstruction of extended Petri nets from time-series data by using logical control functions ⋮ Improvements in unfolding of colored Petri nets ⋮ Inferring reaction systems from ordinary differential equations ⋮ Composition colored Petri nets for the refinement of reaction-based models ⋮ How Might Petri Nets Enhance Your Systems Biology Toolkit ⋮ Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks ⋮ Petri net models for the semi-automatic construction of large scale biological networks ⋮ IDD-based model validation of biochemical networks ⋮ Unnamed Item ⋮ Colouring fuzziness for systems biology ⋮ Formal Dependability Modeling and Analysis: A Survey ⋮ Correct Hardware Design and Verification Methods ⋮ Algebraic Models and Their Use in Systems Biology ⋮ Modeling biological gradient formation: combining partial differential equations and Petri nets ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Petri Nets Are a Biologist’s Best Friend ⋮ Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
This page was built for software: SNOOPY
