Results 71 to 80 of about 19,942 (199)
The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach
Applied SciencesThe basic reproduction number (R0) is an epidemiological metric that represents the average number of new infections caused by a single infectious individual in a completely susceptible population.
Trevor Reckell +2 more
doaj +1 more source
About Dynamical Systems Appearing in the Microscopic Traffic Modeling [PDF]
, 2010 Motivated by microscopic traffic modeling, we analyze dynamical systems which have a piecewise linear concave dynamics not necessarily monotonic. We introduce a deterministic Petri net extension where edges may have negative weights.
Farhi, Nadir +2 more
core
Oikos, Volume 2026, Issue 3, March 2026.The recovery of large carnivores offers unique opportunities to study their cascading impacts on plant population dynamics. Medium‐sized carnivores, both prey and seed dispersers, are suppressed by apex predators, indirectly increasing seed‐eating rodent's populations and potentially altering plant establishment.
Tamara Burgos +3 more
wiley +1 more source
Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach
Frontiers in Neuroinformatics, 2018 Alzheimer's Disease (AD) is the most common neuro-degenerative disorder in the elderly that leads to dementia. The hallmark of AD is senile lesions made by abnormal aggregation of amyloid beta in extracellular space of brain.
Javaria Ashraf +3 more
doaj +1 more source
Using Colored Stochastic Petri Net (CS-PN) software for protocol specification, validation, and evaluation [PDF]
The specification, verification, validation, and evaluation, which make up the different steps of the CS-PN software are outlined. The colored stochastic Petri net software is applied to a Wound/Wait protocol decomposable into two principal modules ...
Luguern, Jean-Pierre, Zenie, Alexandre
core +1 more source
Polyester Microfiber Dynamics in an Estuarine Semi‐Enclosed Basin
Journal of Geophysical Research: Oceans, Volume 131, Issue 3, March 2026.Abstract Polyester microfibers are one of the most abundant microplastics in marine ecosystems, yet their observed near‐surface concentrations are inconsistent with expectations based on their density. To study the mechanisms governing polyester microfiber transport and fate, we developed a Lagrangian particle‐tracking module using Parcels to simulate ...
J. Valentí‐Muelas +2 more
wiley +1 more source
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
, 2015 Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
core +3 more sources
Journal of Neurochemistry, Volume 170, Issue 3, March 2026.The study investigates the functional consequences of INTS11 loss‐of‐function (LoF), a genetic alteration linked to neurodevelopmental disorder (NDD), using zebrafish as an in vivo model. To model ints11 deficiency, two complementary approaches are applied: morpholino‐mediated knock‐down and CRISPR–Cas9 transient knock‐out, establishing ints11‐LoF ...
Anna Pistocchi +9 more
wiley +1 more source
Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos
Revista Iberoamericana de Automática e Informática Industrial RIAI, 2016 Resumen: En este artículo se propone una red de Petri, interpretada, estocástica, (st-IPN), como modelo para representar el lenguaje regular obtenido a partir de la combinación de señales de entrada - salida, en un sistema de eventos discretos (SED) en ...
Doyra Mariela Muñoz +3 more
doaj +1 more source
A survey of the PEPA tools [PDF]
, 2003 This paper surveys the history and the current state of tool support for modelling with the PEPA stochastic process algebra and the PEPA nets modelling language. We discuss future directions for tool support for the PEPA family of languages.
Gilmore, Stephen, Hillston, Jane
core +1 more source