Sciweavers

969 search results - page 9 / 194
» Recursive Petri nets
Sort
View
ICONIP
2004
13 years 9 months ago
Modeling Gene Regulatory Network in Fission Yeast Cell Cycle Using Hybrid Petri Nets
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...
Ranjith Vasireddy, Somenath Biswas
EMISA
2002
Springer
13 years 7 months ago
The biology Petri net markup language
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
Ming Chen, Andreas Freier, Jacob Köhler, Alex...
MM
1993
ACM
122views Multimedia» more  MM 1993»
13 years 11 months ago
Synchronization Models for Multimedia Presentation with User Participation
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
B. Prabhakaran, S. V. Raghavan
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 2 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
PNPM
1987
13 years 11 months ago
Toward a Definition of Modeling Power for Stochastic Petri Net Models
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...
Gianfranco Ciardo