SNOOPY
From MaRDI portal
Cited in
(73)- Repeatability package
- Petri nets are a biologist's best friend
- Exact and efficient verification of parameterized cache coherence protocols
- Modeling membrane systems using colored stochastic Petri nets
- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
- Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma
- Petri net models for the semi-automatic construction of large scale biological networks
- scientific article; zbMATH DE number 1956578 (Why is no real title available?)
- Colouring fuzziness for systems biology
- Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights
- Formal dependability modeling and analysis: a survey
- PeCAn: compositional verification of Petri nets made easy
- Competitive randomized algorithms for nonuniform problems
- IDD-based model validation of biochemical networks
- Modeling innate immune response to early Mycobacterium infection
- BRENDA
- scientific article; zbMATH DE number 1979557 (Why is no real title available?)
- Hybrid representation and simulation of stiff biochemical networks
- Petri nets for modelling metabolic pathways: a survey
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- APL
- TAPAAL
- CPN/Tools
- DSSZ-MC
- Design/CPN
- Access/CPN
- SCAMP
- PNML
- PetriNets
- Cell Illustrator
- BoolNet
- Stella
- GEPASI
- TRANSPATH
- Ginsim
- SNAKES
- Polynome
- Charlie
- MARCIE
- MC2
- SABRE
- ZBDD
- PySB
- MeCoSim
- ImmunoGrid
- ANDy
- Chromar, a language of parameterised agents
- ADAM
- CoMeta
- P-Lingua
- ITS-Tools
- INA
- PeCAn
- Electron
- CuSNP
- Visual DSD
- Boolean network analysis through the joint use of linear algebra and algebraic geometry
- MoVisPP
- VisANT
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
- How Petri nets might enhance your systems biology toolkit
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Chromar, a rule-based language of parameterised objects
- GPenSIM
- Reconstruction of extended Petri nets from time-series data by using logical control functions
- Composition colored Petri nets for the refinement of reaction-based models
- ATLANTIS
- Inferring reaction systems from ordinary differential equations
- Chromar
- scientific article; zbMATH DE number 2102714 (Why is no real title available?)
- Modeling biological gradient formation: combining partial differential equations and Petri nets
- Improvements in unfolding of colored Petri nets
- Algebraic Models and Their Use in Systems Biology
This page was built for software: SNOOPY
