Results 111 to 120 of about 60,348 (227)
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
The Plant Journal, Volume 122, Issue 6, June 2025.Significance Statement Live imaging was used to observe the dynamics of the cell cycle during early gynoecium development, and based on quantitative analyses and pharmacological assays, it suggests that the proliferation is complex and has a long cell cycle. Furthermore, quantitative analyses demonstrate the highest cell proliferation occurrence in the
Juan Ramos‐Pulido, Stefan de Folter
wiley +1 more source
Modelling and evaluation of the security of cyber-physical systems using stochastic Petri nets
IET Cyber-Physical Systems, 2019 This study proposes a stochastic Petri net model for evaluating the security and resilience of cyber-physical systems (CPSs) in the face of malicious attacks.
Hamed Orojloo, Mohammad Abdollahi Azgomi
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
Energies, 2019 Determining the ideal size of maintenance staff is a daunting task, especially in the operation of large and complex mechanical systems such as thermal power plants.
Arthur H.A. Melani +4 more
doaj +1 more source
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package [PDF]
, 2000 Bruno Tuffin, Kishor S. Trivedi
openalex +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. +1 more
core +3 more sources
Frontiers in Biomedical Technologies, 2017 Purpose: Using mathematical models for cancer treatment had excellent outcomes in recent years. Modeling of the tumor-immune interactions is possible by several mathematical models. Stochastic models such as Stochastic Petri Net (SPN) consider the random
Sadjad Shafiekhani +5 more
doaj
MONALISA for stochastic simulations of Petri net models of biochemical systems [PDF]
, 2015 Pavel Balazki +4 more
openalex +1 more source
PETRI NET BASED APPROACHES TO MANUFACTURING SYSTEMS [PDF]
This paper describes the planning in manufacturing systems. The skeleton and the functionality of a Petri Net Toolbox, embedded in the Matlab environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and ...
Mihaela Elisabeta CIORTEA
core