Sciweavers

125 search results - page 2 / 25
» Petri net modelling of biological networks
Sort
View
APN
2004
Springer
13 years 11 months ago
Petri Net Based Model Validation in Systems Biology
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
Monika Heiner, Ina Koch
BMCBI
2008
121views more  BMCBI 2008»
13 years 5 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...
BIRTHDAY
2010
Springer
13 years 2 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
ICWN
2003
13 years 6 months ago
Modeling and Evaluation of Scatternets Performance by Using Petri Nets
Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Pet...
Silke Feldmann, Tim Hartmann, Kyandoghere Kyamakya
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 7 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...