Results 51 to 60 of about 826,508 (206)
A dynamic petri net model for iterative and interactive distributed multimedia presentation [PDF]
, 2005 Object Composition Petri Nets (OCPN), Priority Petri Nets (P-Net), Dynamic OCPN (DOCPN) and Enhanced P-Nets (EP-Net) have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during ...
Guan, SU, Tan, WK
core +5 more sources
Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation. [PDF]
PLoS ONE, 2015 Internet worms are analogous to biological viruses since they can infect a host and have the ability to propagate through a chosen medium. To prevent the spread of a worm or to grasp how to regulate a prevailing worm, compartmental models are commonly ...
Misbah Razzaq, Jamil Ahmad
doaj +1 more source
Epilepsia, EarlyView.Abstract Objective A multi‐electrode array (MEA) is a powerful extracellular recording technique for long‐term monitoring of neuronal network activity. In recent years, MEA‐based assays have been applied increasingly to evaluate drug efficacy and neurotoxicity, including the assessment of anti‐seizure medications (ASMs). However, systematic comparisons
Griselda Marku +4 more
wiley +1 more source
Small, EarlyView.Bacterial viability is determined in a complex environment with a field‐effect biological transistor with a limit of detection of a single bacterium. Living, antibiotic‐treated, thermally denatured, and inhibited E. coli generate distinct electrical signatures, enabling label‐free single‐cell detection and providing new opportunities for rapid ...
Bar Chen +17 more
wiley +1 more source
A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants. [PDF]
, 2005 This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies
Narciso, Mercedes +2 more
core
Reliability Model of the Fly-By-Wire System Based on Stochastic Petri Net
International Journal of Aerospace Engineering, 2019 The fly-by-wire system plays an important role in modern civil aircraft. As a typical safety-critical system, its reliability will affect the safety of aircraft significantly.
Zhong Lu +3 more
doaj +1 more source
On Modelling and Simulating Open Pit Mine Through Stochastic Timed Petri Nets
IEEE Access, 2019 A structured and robust methodology of modeling and simulation can be available through modular stochastic timed Petri nets, including experiments that allow designers to simulate the processes involved in ore production on well-founded estimates.
Adriano C. Lisboa +6 more
doaj +1 more source
Small, EarlyView.The study introduces a 3D sensing‐integrated platform enabling real‐time, non‐invasive monitoring of pH dynamics in patient‐derived PDAC tumorspheres. It revealed distinct extracellular acidification patterns under FOLFIRINOX, gemcitabine, and paclitaxel, correlating with therapeutic efficacy.
Stefania Forciniti +10 more
wiley +1 more source
Analysis of stochastic Petri nets with signals [PDF]
Performance Evaluation, 2012 Product-form models facilitate the efficient analysis of large stochastic models and have been sought after for some three decades. Apart from the dominating work on queueing networks, some product-forms were found for stochastic Petri nets (SPNs) that allow fork-join constructs and for queueing networks extended to include special customers called ...
MARIN, Andrea +2 more
openaire +3 more sources
The Impact of Petri Nets on System-of-Systems Engineering [PDF]
, 2009 The successful engineering of a large-scale system-of-systems project towards deterministic behaviour depends on integrating autonomous components using international communications standards in accordance with dynamic requirements.
SINCLAIR, KIRSTEN,MHAIRI
core