Distributed evaluation of stochastic Petri nets.
, 2004 In this paper we present on the distributed performance evaluation and model checking of systems specified by stochastic Petri nets. The approaches discussed rely on an explicit state-space generation and target at the usage of clusters of workstations. We present results for systems with several hundreds of millions of states.
openaire +3 more sources
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets [PDF]
Annals of computer science and information systems, 2015 Franco Cicirelli +2 more
doaj +1 more source
Protocol for biomodel engineering of unilevel to multilevel biological models using colored Petri nets. [PDF]
STAR Protoc, 2023 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Non-Markovian Stochastic Petri Nets Model and Identification for Onboard Hydraulic Oil System
工程科学与技术, 2013 :The onboard hydraulic oil source system has some fault-free behaviors with normal distributed periods and some faulty ones with exponentially distributed periods.
刘久富 +4 more
doaj
Signal hierarchical petri nets: Formal semantics of hierarchical regulatory control of biological systems. [PDF]
PLoS OneSimão E.
europepmc +1 more source
Modeling of gene regulatory networks: an annotated glossary. [PDF]
Trends Plant SciSingh Yadav A +19 more
europepmc +1 more source
Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems. [PDF]
Sensors (Basel)Mangini AM +4 more
europepmc +1 more source
Quantifying and comparing causal patterns in stochastic chemical reaction networks. [PDF]
NPJ Syst Biol ApplKahramanoğulları O.
europepmc +1 more source
Identification of unobservable behavior in stochastic discrete event systems with a low number of sensors. [PDF]
MethodsX, 2023 Santillán-Mosquera R, Muñoz-Añasco M.
europepmc +1 more source
Reliability analysis of the train control onboard subsystem considering periodic switching of cold standby units. [PDF]
Sci RepQi J, Liu H, Zhao Y.
europepmc +1 more source