Results 81 to 90 of about 63,942 (286)
Analysis of signalling pathways using continuous time Markov chains [PDF]
We describe a quantitative modelling and analysis approach for signal transduction networks. We illustrate the approach with an example, the RKIP inhibited ERK pathway [CSK+03].
A. Aziz +12 more
core +3 more sources
The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach
The 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
HSTI is a powerful tool for detecting FM within EFR. The study compares spectral ranges, light intensity, and classification models, showing that FM is most effectively identified with 110 W light intensity in the VNIR system using MLP. Pseudo‐color maps enable precise localization and contouring of FM in EFR.
Peipei Gao +8 more
wiley +1 more source
Getting the Priorities Right: Saturation for Prioritised Petri Nets [PDF]
Prioritised Petri net is a powerful modelling language that often constitutes the core of even more expressive modelling languages such as GSPNs (Generalized Stochastic Petri nets).
Majzik, István +3 more
core +1 more source
Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach
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
ABSTRACT A new model for the simulation of fluid flow through rough cracks is presented. The model combines a probabilistic cut finite element method (PCutFEM) to capture the unfitted boundary condition at the fluid interface, with a stochastic random field generator to represent the crack asperities.
Brubeck Lee Freeman +5 more
wiley +1 more source
A survey of the PEPA tools [PDF]
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
Flux Analysis in Process Models via Causality
We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an established correspondence between event structures, a broadly recognised model
Kahramanoğullari, Ozan
core +2 more sources
This paper proposes a new framework for the analysis of cyber‐physical system security against denial‐of‐service (DoS) attacks using generalised stochastic Petri nets. The model incorporates immediate and timed transitions, thus mapping both continuous operations of cyber‐physical system and discrete‐event natures of cyber threats.
Mahdi Jafarpour, M. Sami Fadali
wiley +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

