Analysis of stochastic Petri nets with signals [PDF]
Performance Evaluation, 2012 Product-form models facilitate the efficient analysis of large stochastic models and have been sought after for some three decades. Apart from the dominating work on queueing networks, some product-forms were found for stochastic Petri nets (SPNs) that allow fork-join constructs and for queueing networks extended to include special customers called ...
MARIN, Andrea +2 more
openaire +4 more sources
Using the probabilistic evaluation tool for the analytical solution of large Markov models [PDF]
, 1995 Stochastic Petri net-based Markov modeling is a potentially very powerful and generic approach for evaluating the performance and dependability of many different systems, such as computer systems, communication networks, manufacturing systems, etc.
Haverkort, Boudewijn R. +1 more
core +4 more sources
Analysis of a multimachine flexible manufacturing cell using stochastic Petri nets
Advances in Mechanical Engineering, 2016 In this article, a generalized stochastic Petri net model is developed to analyze the performance of a multimachine flexible manufacturing cell. The analyzed flexible manufacturing cell consists of one or more machine(s), a single conveyor, and a single ...
Abdulrahman Al-Ahmari, Zhiwu Li
doaj +1 more source
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation [PDF]
, 2005 A model-to-model transformation from Dynamic Fault Trees to Stochastic Petri Nets, by means of graph transformation rules, is presented in this paper.
Codetta-Raiteri, Daniele
core +1 more source
A Meso-Scale Petri Net Model to Simulate a Massive Evacuation along the Highway System
Future 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
Modeling and performance analysis of the emergency rescue logistics system based on Petri nets
Journal 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
Blocking a transition in a Free Choice net and what it tells about its throughput [PDF]
, 2003 International audienceIn a live and bounded Free Choice Petri net, pick a non-conflicting transition. Then there exists a unique reachable marking in which no transition is enabled except the selected one.
Gaujal, Bruno +2 more
core +5 more sources
Business Process Modelling based on Petri nets
MATEC 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
Уравнения состояний стохастических временных сетей Петри с информационными связями [PDF]
, 2012 Розглянуто застосування мереж Петрі з часовими затримками для імітаційного моделювання систем. Отримано рівняння перетворень стану мережі Петрі та фундаментальні матричні рівняння стохастичної мережі Петрі з часовими затримками, багатоканальними та ...
Стеценко, И.В.
core +1 more source
Getting the Priorities Right: Saturation for Prioritised Petri Nets [PDF]
, 2017 Prioritised Petri net is a powerful modelling language that often constitutes the core of even more expressive modelling languages such as GSPNs (Generalized Stochastic Petri nets).
Majzik, István +3 more
core +1 more source