Sciweavers

287 search results - page 3 / 58
» Modular Analysis of Petri Nets
Sort
View
BMCBI
2008
121views more  BMCBI 2008»
13 years 8 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...
FBIT
2007
IEEE
14 years 2 months ago
Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods
The application of Petri nets to analyze and simulate biological pathways has been developed vigorously. Some of the modifications of Petri nets appeared to perform quantitative a...
Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim,...
BIRTHDAY
2010
Springer
13 years 5 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
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
13 years 11 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
14 years 1 months ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...