Results 11 to 20 of about 826,508 (206)
Petri nets for systems and synthetic biology [PDF]
, 2008 We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D
core +6 more sources
A case study in model-driven synthetic biology [PDF]
, 2008 We report on a case study in synthetic biology, demonstrating the modeldriven design of a self-powering electrochemical biosensor. An essential result of the design process is a general template of a biosensor, which can be instantiated to be adapted ...
Heiner, M. +18 more
core +7 more sources
Stochastic Decision Petri Nets
, 2023 We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the deactivation of controllable transitions. Such nets can be translated into Markov decision processes (MDPs), potentially leading to a combinatorial explosion in the number of states due to concurrency ...
Florian Wittbold +4 more
openaire +5 more sources
Stochastic Petri Net Simulation [PDF]
1989 Winter Simulation Conference Proceedings, 1989 Petri nets are a formal modelling tool very well suited to the description of distributed and concurrent systems which exhibit synchronization and contention for shared resources. Adding random temporal specifications to Petri nets, stochastic Petri nets are obtained from which event driven simulators can be automatically constructed.
G. Balbo, G. Chiola
openaire +1 more source
Energies, 2022 This paper discusses the Reliability, Availability, Maintainability, and Safety (RAMS) of an electrical power supply system in a large European hospital. The primary approach is based on fuzzy logic and Petri nets, using the CPNTools software to simulate
Constâncio António Pinto +3 more
doaj +1 more source
Stochastic Petri Nets in Systems Biology [PDF]
BMC Bioinformatics, 2005 Schulz-Trieglaff Ole
doaj +3 more sources
Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net
Xibei Gongye Daxue Xuebao, 2020 The reliability of the airborne systems have a significant influence on the safety of aircraft. The modern airborne systems have a high degree of automation and integration, which lead to obvious dynamic failure characteristics. Namely, system failure is
doaj +1 more source
A Monitoring Approach Based on Fuzzy Stochastic P-Timed Petri Nets of a Railway Transport Network
Journal of Advanced Transportation, 2021 This paper proposes a monitoring approach based on stochastic fuzzy Petri nets (SFPNs) for railway transport networks. In railway transport, the time factor is a critical parameter as it includes constraints to avoid overlaps, delays, and collisions ...
Anis M’hala
doaj +1 more source
Process versus Unfolding Semantics for Place/Transition Petri Nets [PDF]
, 1996 In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975) +14 more
core +2 more sources
Formal approach on modeling and predicting of software system security: Stochastic petri net [PDF]
Journal of Artificial Intelligence and Data Mining, 2015 To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets,
H. Motameni
doaj +1 more source