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