Correction to: Stochastic Petri net model describing the relationship between reported maternal and congenital syphilis cases in Brazil. [PDF]
Valentim RAM +11 more
europepmc +3 more sources
Maintenance Process Simulation Based Maintainability Evaluation by Using Stochastic Colored Petri Net [PDF]
Maintainability is a critical design characteristic of products. Maintainability evaluation plays an important role in maintainability design. Existing maintainability evaluation approaches neglect logistic effects on system maintainability.
Zhong Lu, Jie Liu, Li Dong, Xihui Liang
doaj +2 more sources
Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN) [PDF]
This paper proposes a Generalised Stochastic Petri net (GSPN) model representing a generic e-procurement workflow process. The model displays the dynamic behaviour of the system and shows the inter relationship of process activities. An analysis based on
Ku-Mahamud, Ku Ruhana +2 more
core +1 more source
Stochastic Petri Net Based Modeling of Emergency Medical Rescue Processes during Earthquakes. [PDF]
Sun H, Liu J, Han Z, Jiang J.
europepmc +3 more sources
Stochastic Petri net model with random time of Vietnamese ischemic stroke patient treatment process
Simulation is a helpful preliminary step for implementing a patient workflow management system. Simulation is based on the process model (the clinical practice guideline) and the organization model (human and technological resources), permitting the ...
Nguyen Tien Dung +8 more
doaj +3 more sources
Petri net analysis of a queueing inventory system with orbital search by the server
In this article, a queueing inventory system with finite sources of demands, retrial demands, service time, lead time, (s,S)\left(s,S) replenishment policy, and demands search from the orbit was studied.
Ikhlef Lyes +3 more
doaj +1 more source
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
Evidence for the Stability Selection Mechanism in a Live Predator-Prey System. [PDF]
We demonstrate that the stability properties of a predator–prey pair vary with prey genetics and that the loss of unstable predator–prey pairs in subpopulations from the overall population can lead to trait evolution in the aggregate population. Our results indicate that community‐level processes such as predator–prey interactions can generate eco ...
DeLong JP +5 more
europepmc +2 more sources
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources
Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and
Xuhong Ye +4 more
doaj +1 more source

