swMATH4386MaRDI QIDQ16562FDOQ16562
Author name not available (Why is that?)
Official website: http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Snoopy
Cited In (66)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Repeatability package
- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
- Exact and efficient verification of parameterized cache coherence protocols
- 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?)
- Formal dependability modeling and analysis: a survey
- Title not available (Why is that?)
- Composition colored Petri nets for the refinement of reaction-based models
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
- BRENDA
- Colouring fuzziness for systems biology
- Chromar, a language of parameterised agents
- Title not available (Why is that?)
- Competitive randomized algorithms for nonuniform problems
- How Petri nets might enhance your systems biology toolkit
- TAPAAL
- PetriNets
- Cell Illustrator
- BoolNet
- Stella
- Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma
- GEPASI
- TRANSPATH
- Ginsim
- SNAKES
- Polynome
- Charlie
- MARCIE
- MC2
- SABRE
- ZBDD
- PySB
- MeCoSim
- ImmunoGrid
- ANDy
- ADAM
- CoMeta
- P-Lingua
- ITS-Tools
- INA
- PeCAn
- Electron
- CuSNP
- Visual DSD
- MoVisPP
- VisANT
- Reconstruction of extended Petri nets from time-series data by using logical control functions
- GPenSIM
- 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
- ATLANTIS
- Inferring reaction systems from ordinary differential equations
- Petri nets for modelling metabolic pathways: a survey
- Chromar
- 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
- PeCAn: compositional verification of Petri nets made easy
- Algebraic Models and Their Use in Systems Biology
- Petri net models for the semi-automatic construction of large scale biological networks
- Petri nets are a biologist's best friend
This page was built for software: SNOOPY
