Results 41 to 50 of about 63,942 (286)

Modeling and performance analysis of the emergency rescue logistics system based on Petri nets

open access: yesJournal of Hebei University of Science and Technology, 2017
In order to more effectively analyze the performance of logistics emergency rescue system, based on analyzing the characteristics and main functions of the Petri net and its advantage of describing asynchronous concurrent random image system, this paper ...
Mingxin YANG, Min WANG, Ying QU
doaj   +1 more source

Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net

open access: yesIEEE Access, 2022
Internet of Things (IoT) technologies have been increasingly developed for real-time application in manufacturing processes to address heterogeneous devices and software effectively.
C. Dechsupa, W. Vatanawood, A. Thongtak
doaj   +1 more source

Stochastic Decision Petri Nets

open access: yes, 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   +3 more sources

Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets [PDF]

open access: yes, 2015
© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable ...
Kabir, Sohag   +2 more
core   +1 more source

Business Process Modelling based on Petri nets

open access: yesMATEC Web of Conferences, 2017
Business process modelling is the way business processes are expressed. Business process modelling is the foundation of business process analysis, reengineering, reorganization and optimization.
Qin Jianglong   +3 more
doaj   +1 more source

A Meso-Scale Petri Net Model to Simulate a Massive Evacuation along the Highway System

open access: yesFuture Transportation, 2023
Natural disasters may require that the residents of the affected area be evacuated immediately using a potentially damaged infrastructure. In this paper, we developed a mesoscopic simulation modeling approach for modeling traffic flow over a large ...
Hamzeh Qabaja   +3 more
doaj   +1 more source

Boundedness on Stochastic Petri Nets

open access: yesRevista Matemática Complutense, 1993
Stochastic Petri nets generalize the notion of queueing system [see \textit{J. L. Peterson}, Petri net theory and the modelling of systems (1981; Zbl 0461.68059), or \textit{M. Silva}, \textit{J. Martinez}, \textit{P. Ladet} and \textit{H. Alla}, RAIRO, Tech. Sci. Inf. 4, 113-126 (1985; Zbl 0558.68054) for general references].
Campos, J., Plo, F., San Miguel, M.
openaire   +3 more sources

Hybrid performance modelling of opportunistic networks [PDF]

open access: yes, 2012
We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled ...
Bortolussi, Luca   +2 more
core   +3 more sources

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]

open access: yes, 2010
Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Henk A.P. Blom   +3 more
core   +3 more sources

Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]

open access: yes, 2004
The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
core   +1 more source

Home - About - Disclaimer - Privacy