Results 91 to 100 of about 826,508 (206)
Learning Petri net models of non-linear gene interactions [PDF]
, 2005 Understanding how an individual's genetic make-up influences their risk of disease is a problem of paramount importance. Although machine-learning techniques are able to uncover the relationships between genotype and disease, the problem of automatically
Mayo, Michael
core +1 more source
Quantitative Biology, Volume 14, Issue 3, September 2026.Abstract Zebrafish are a model organism used for the study of vertebrate development, disease, and drug discovery. Two‐day old zebrafish exhibit burst swimming behavior that can be elicited by a light touch to the tail. Motor touch responses are frequently video‐recorded and later analyzed by hand.
Adrien Lacroix +1 more
wiley +1 more source
On the Algebraic Structure of Petri Nets
, 2000 This paper retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core +1 more source
Assessment of the Availability of an Offshore Installation by Stochastic Petri Net Modeling
Communications, 2014 The purpose of this article is to illustrate the combination of stochastic Petri nets and Monte Carlo simulation approach for the evaluation of the production availability of a multi-state, multi-output offshore installation with operational loops.
Radim Bris
doaj +1 more source
From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]
, 2005 The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek +5 more
core +1 more source
Algebraic Models for Contextual Nets
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
SASSONE V. +5 more
core +2 more sources
Modeling noise in gene expression
Ontare, 2015 ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA This study deals with the modeling of the basic steps of gene expression in biological systems.
Ivan Mura
doaj
On the Semantics of Place/Transition Petri Nets
, 1997 Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the 'token game' is too intensional, even in its more abstract interpretations in ...
Meseguer, J., Montanari, U., Sassone, V.
core +1 more source
ModellingInternational transport corridors (ITCs) are intricate logistical networks essential for global trade flows. The effective modeling of these corridors provides invaluable insights into optimizing the transport system.
Igor Kabashkin, Zura Sansyzbayeva
doaj +1 more source
Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets. [PDF]
IET Syst Biol, 2013 Liu F, Heiner M.
europepmc +1 more source