Results 91 to 100 of about 63,942 (286)
Stochastic Petri net model with random time of Vietnamese ischemic stroke patient treatment process
Simulation is a helpful preliminary step for implementing a patient workflow management system. Simulation is based on the process model (the clinical practice guideline) and the organization model (human and technological resources), permitting the ...
Nguyen Tien Dung +8 more
doaj +1 more source
Seed traits predict germination success in wild oat: morphology and geography shape thermal thresholds across Europe. Abstract Germination cardinal temperatures, germination rate for 50% of seeds (GR50), and seed traits are interrelated and allow prediction of germination behaviour based on seed characteristics.
M. Oveisi +6 more
wiley +1 more source
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
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
Attacks and Defenses in Mobile IP: Modeling with Stochastic Game Petri\n Net [PDF]
Sajedul Talukder +4 more
openalex +2 more sources
Widespread Latent Presence of Cryptostroma corticale in Sycamore Maple in France
Increasing drought events promote forest disease emergence, exemplified by Sooty Bark Disease (SBD) of Acer pseudoplatanus caused by Cryptostroma corticale. Across six French regions, the pathogen was detected in 13.6% of asymptomatic trees, indicating widespread latent presence that could trigger disease outbreaks under future drought and high host ...
Elodie Muller +5 more
wiley +1 more source
CSL model checking of Deterministic and Stochastic Petri Nets [PDF]
Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time.
Haverkort, Boudewijn R. +1 more
core +3 more sources
Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos
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
The South African rail sector is a key contributor to the national economy, boosting gross domestic product (GDP) and creating jobs. However, serious malfunctions often jeopardize the reliability of locomotives such as the Class 8E locomotive, leading to lost output and longer lead times.
Rofhiwa C. Mufamadi +3 more
wiley +1 more source
Effective management of catastrophic events in high-risk zones necessitates a holistic technological approach to protect ecosystems, biodiversity, and native populations.
Israel Araújo +7 more
doaj +1 more source
Behavioral analysis of bar charts in documents via stochastic petri-net modeling
Michail Alexiou, N. Bourbakis
semanticscholar +1 more source

