Building insightful simulation models using Petri Nets — A structured approach

2011 ◽  
Vol 51 (1) ◽  
pp. 53-64 ◽  
Author(s):  
Durk-Jouke van der Zee
Keyword(s):  
Petri Nets ◽  
Simulation Models ◽  
Structured Approach

Coloured stochastic Petri nets modelling for the reliability and maintenance analysis of multi-state multi-unit systems

2014 ◽  
Vol 25 (4) ◽  
pp. 476-490 ◽  
Author(s):  
Zhouhang Wang ◽  
Maen Atli ◽  
H. Kondo Adjallah
Keyword(s):  
Petri Nets ◽  
Complex Structure ◽  
Real Life ◽  
Simulation Models ◽  
Decision Makers ◽  
Stochastic Petri Nets ◽  
Repairable Systems ◽  
Content Type ◽  
Markov Graphs ◽  
Maintenance Policies

Purpose – The purpose of this paper is to introduce a method for modelling the multi-state repairable systems subject to stochastic degradation processes by using the coloured stochastic Petri nets (CSPN). The method is a compact and flexible Petri nets model for multi-state repairable systems and offers an alternative to the combinatory of Markov graphs. Design/methodology/approach – The method is grounded on specific theorems used to design an algorithm for systematic construction of multi-state repairable systems models, whatever is their size. Findings – Stop and constraint functions were derived from these theorems and allow to considering k-out-of-n structure systems and to identifying the minimal cut sets, useful to monitoring the states evolution of the system. Research limitations/implications – The properties of this model will be studied, and new investigations will help to demonstrate the feasibility of the approach in real world, and more complex structure will be considered. Practical implications – The simulation models based on CSPN can be used as a tool by maintenance decision makers, for prediction of the effectiveness of maintenance strategies. Originality/value – The proposed approach and model provide an efficient tool for advanced investigations on the development and implementation of maintenance policies and strategies in real life.

scholarly journals Using the Petri nets for forming the technological lines of the passenger trains processing in Ukraine

2016 ◽  
Vol 38 (2) ◽  
pp. 7-15 ◽  
Author(s):  
Evgen Aleshinskiy ◽  
Vitalii Naumov ◽  
Ganna Prymachenko
Keyword(s):  
Petri Nets ◽  
Processing Time ◽  
Simulation Models ◽  
Transportation Systems ◽  
Mathematical Apparatus ◽  
Technological Processing ◽  
Passenger Trains ◽  
Number Of Publications ◽  
Present Simulation ◽  
Systems Studies

Despite the large number of publications, which authors use the mathematical apparatus of Petri nets for the transportation systems studies, there are still no such researches of technological processing lines for passenger trains on the territory of passenger complexes that aim to improve trains processing technology. In this article, we present simulation models of technological processing lines for passenger trains of different categories developed with the use of Petri nets. The structure of proposed simulation models is based on real time parallel-operating objects. Such an approach allows maximizing similarity of developed models and the simulated objects; in this way we achieve the increased adequacy of the obtained models. The article presents an interface of developed models and examples of their functioning under conditions of different input parameters, as well as the results of their use in order to reduce the passenger trains processing time. The proposed models are generic and could be applied for simulation of passenger trains processing at any station of Ukraine.

scholarly journals Recommendations for Using QPN Formalism for Preparation of Incoming Request Stream Generator in Modeled System

2021 ◽  
Vol 11 (23) ◽  
pp. 11532
Author(s):  
Tomasz Rak ◽  
Dariusz Rzonca
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Simulation Models ◽  
Tool Development ◽  
Performance Engineering ◽  
Communications Systems ◽  
Study Results ◽  
Mathematical Problems ◽  
The One ◽  
Incoming Request

Simulation models are elements of science that use software tools to solve complex mathematical problems. They are beneficial in areas such as performance engineering and communications systems. Nevertheless, to achieve more accurate results, researchers should use more detailed models. Having an analysis of the system operations in the early modeling phases could help one make better decisions relating to the solution. In this paper, we introduce the use of the QPME tool, based on queueing Petri nets, to model the system stream generator. This formalism was not considered during the first tool development. As a result of the analysis, an alternative design model is proposed. By comparing the behavior of the proposed generator against the one already developed, a better adjustment of the stream to the customer’s needs was obtained. The study results show that appropriately adjusting queueing Petri net models can help produce better streams of data (tokens).

scholarly journals SUBSTANTIATION OF THE TECHNOLOGY OF WOOD HARVESTING WITH THE HELP OF IMI-TATION MODELING ON PETRI NET

2018 ◽  
Vol 8 (1) ◽  
pp. 115-123
Author(s):  
Антон Соколов ◽  
Anton Sokolov ◽  
Евгений Осипов ◽  
Evgeniy Osipov
Keyword(s):  
Petri Nets ◽  
Simulation Modeling ◽  
Discrete Event ◽  
Field Research ◽  
Simulation Models ◽  
Wood Harvesting ◽  
Event Simulation ◽  
Production Problem ◽  
Considerable Length ◽  
Formation Of Complexes

The article is devoted to the description of the solution of the problem of substantiating the technology of wood harvesting, using simulation modeling of production processes on Petri nets. The possibility of using specially developed simulation models for the operation of forestry machine complexes consisting of a harvester and forwarder is con-sidered, not only for making decisions on the choice of machines for the formation of complexes, but also for justifying technological solutions. The solution of the problem is described in the example of a plot of irregular shape with a long trail of considerable length. The basis of the used approach is the use of the method of discrete-event simulation on Petri nets. The results of field research, modeling and improvement of the technological process are given. The results of the simulation has showed that the forwarder is loaded unevenly under the conditions of the considered cutting area . The simple of this machine was 24.5 hours or 7% of the time. A down-time of harvester was 9 hours or 3%. As a result of analyzing the simulation of the machine downtime distribution over time, it was found that this was due to the constantly decreasing forwarder performance, due to the increasing distance of skidding. As a result of the carried out research, it has been recommended to make a change in the technology for the development of the cutting area, consisting in the fact that the harvester does not start with the apiaries which are close to the loading platform, but from distant ones at the end of the main line. Modeling performed after the introduction of changes into the model has showed that in case of a shift to the proposed technology for cutting logging, productivity of harvester + forwarder machine complex can be increased by 2.3% by reducing the total downtime of the machines. It is possible to recommend the use of such technology in case of logging sites with a long haul of considerable length. Thus, when solving the real production problem, the effectiveness of the proposed approach to the evaluation of options for technological solutions for logging

scholarly journals Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

2020 ◽  
Vol 10 (4) ◽  
pp. 1395 ◽  
Author(s):  
Pau Fonseca i Casas ◽  
Daniel Lijia Hu ◽  
Antoni Guasch i Petit ◽  
Jaume Figueras i Jové
Keyword(s):  
Petri Nets ◽  
Conceptual Model ◽  
Petri Net ◽  
Simulation Models ◽  
Model Representation ◽  
Simulation Tool ◽  
Initial Stage

Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim, a well-known simulation tool. The proposal is illustrated through an example of how a model specified in a Petri net can be encoded easily, reducing the time needed to understand and verify the model. In the proposed methodology, the mapping must be defined at the initial stage of the encoding, starting from (in this case) a Petri net conceptual model, and ending at the encoding tool (FlexSim in this case). The main advantages of the proposed methodology are discussed.

scholarly journals Qualifications of Petri nets for modeling of logistical systems

2006 ◽  
Vol 54 (3) ◽  
pp. 131-136
Author(s):  
Petr Jedlička
Keyword(s):  
Petri Nets ◽  
Graphical Representation ◽  
Object Oriented ◽  
Simulation Models ◽  
System Configuration ◽  
Qualitative Properties ◽  
Simulation And Optimization ◽  
Potential Benefits ◽  
System Configurations

Simulation and optimization is one of the most popular approaches to improve the use of simulation models as a tool to obtain the best system configuration. Petri nets have proved to be useful for examining the performance of different system configurations and/or alternative operating procedures for various systems. Based on their precise semantics and easy-to-understand graphical representation, Petri nets are appropriate to model logistic systems together with their quantitative and qualitative properties. In this paper, potential benefits of usage of object-oriented Petri nets for optimization of logistical systems are discussed.

Sign in / Sign up

Export Citation Format

Share Document