SNOOPY

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