Results 81 to 90 of about 20,113 (245)

Interferon Regulatory Factor 2 (IRF2) Suppression Enhances Murine Cardiac Allograft Survival Through Immune Evasion

Immunology, Volume 177, Issue 4, Page 752-765, April 2026.
Our data show that suppressing IRF2, genetically or by siRNA, modulates PD‐L1 and MHC‐I levels. This induced immune‐evasive state critically underlies the significantly prolonged survival of cardiac allografts, revealing a novel therapeutic avenue.
Li Tian, Man Zhang, Yuliang Guo, Sheng Chang, Zhonghua Klaus Chen, Hongmin Zhou   +5 more
wiley   +1 more source

CSL model checking of Deterministic and Stochastic Petri Nets [PDF]

, 2005
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., Martinez, José M   +1 more
core   +3 more sources

Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets

, 2015
We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulated number of events as a function of time.
B Bérard, D Lime, G Gardey, J Byg, J Srba, L Jacobsen, PA Abdulla   +6 more
core   +3 more sources

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, Antonio Correcher, Emilio García, Francisco Morant   +3 more
doaj   +1 more source

Generating a Performance Stochastic Model from UML Specifications

, 2011
Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process.
Brenner, Leonardo, Dbouk, Mohamed, Sbeity, Ihab   +2 more
core  

DDS-P: Stochastic models based performance of IoT disaster detection systems across multiple geographic areas

ICT Express
Effective management of catastrophic events in high-risk zones necessitates a holistic technological approach to protect ecosystems, biodiversity, and native populations.
Israel Araújo, Luis Guilherme Silva, Carlos Brito, Dugki Min, Jae-Woo Lee, Tuan Anh Nguyen, Erico Leão, Francisco A. Silva   +7 more
doaj   +1 more source

Enhancing Stochastic Petri Net-based Remaining Time Prediction using k-Nearest Neighbors

, 2022
Jarne Vandenabeele, Gilles Vermaut, Jari Peeperkorn, Jochen De Weerdt   +3 more
openalex   +2 more sources

Modified Stochastic Petri Net-Based Modeling and Optimization of Emergency Rescue Processes during Coal Mine Accidents [PDF]

, 2021
Xiao Li, Yongkui Shi, Zaiyong Wang, Wenquan Zhang   +3 more
openalex   +1 more source

Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor

Metabolites, 2015
The insulin-dependent activation and recycling of the insulin receptor play an essential role in the regulation of the energy metabolism, leading to a special interest for pharmaceutical applications.
Jennifer Scheidel, Klaus Lindauer, Jörg Ackermann, Ina Koch   +3 more
doaj   +1 more source

Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis [PDF]

, 2021
Shabnam Shahzadi, Xianwen Fang, David Anekeya Alilah   +2 more
openalex   +1 more source