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).

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Business Processes ◽  
State Of The Art ◽  
Workflow Management ◽  
Explicit Representation ◽  
The Other ◽  
Application Domain ◽  
Analysis Techniques ◽  
The One

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

A Symbolic OBDD-Based Algorithm for Assembly Sequence Planning

2010 ◽  
Vol 97-101 ◽  
pp. 2444-2448
Author(s):  
Feng Ying Li ◽  
Tian Long Gu ◽  
Liang Chang
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Assembly Sequence Planning ◽  
Decision Diagrams ◽  
Assembly Sequence ◽  
Binary Decision ◽  
Sequence Planning ◽  
Assembly Sequences ◽  
Planning Algorithm ◽  
The One

Algorithms based on timed Petri net are competitive for solving the problem of assembly sequence planning (ASP). In order to alleviate the state-space explosion problem which is caused by the Petri net-based representation of assembly sequences and to improve the efficiency of planning algorithms, an approach based on ordinary binary decision diagrams (OBDDs) is presented in this paper. On the one hand, all the timed transitions in Petri nets are substituted by some technically designed timed transition structures; on the other hand, Petri nets used in algorithms of assembly sequence planning are represented symbolically as OBDDs. As a result, a novel assembly sequence planning algorithm based on symbolic OBDDs is presented. With the help of OBDDs, both the marking vectors and the states of Petri nets are formulated more compactly; at the same time, the searching processes can be manipulated implicitly. Therefore, compared with original algorithms, both the time performance and the space performance are improved.

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 Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

1992 ◽  
Vol 21 (398) ◽  
Author(s):  
Søren Christensen ◽  
Niels Damgaard Hansen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
The Other ◽  
Coloured Petri Nets ◽  
Basic Properties ◽  
New Concepts ◽  
Special Cases ◽  
The One ◽  
Net Framework ◽  
Informal Description

In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives - place capacities, test arcs and inhibitor arcs. The new modelling primitives are introduced to improve the possibilities of creating models that are on the one hand compact and comprehensive and on the other hand easy to develop, understand and analyse. A number of different place capacity and inhibitor concepts have been suggested earlier, e.g. integer and multi-set capacities and zero-testing and threshold inhibitors. These concepts can all be described as special cases of the more general place capacity and inhibitor concepts defined in this paper. We give an informal description of the new concepts and show how the concepts can be fonnally defined and integrated in the Petri net framework keeping the basic properties of CP-nets. In contrast to a number of the previously suggested extensions to CP-nets the new modelling primitives preserve the concurrency properties of CP-nets. We show how CP-nets with place capacities, test arcs and inhibitor arcs can be transformed into behaviourally equivalent CP-nets without these primitives. From this we conclude that the basic properties of CP-nets are preserved and that the theory developed for CP-nets can be applied to the extended CP-nets. Finally, we discuss how to generalise the analysis methods of CP-nets to cover the place capacities, test arcs and inhibitor arcs.

scholarly journals Linkages between Energy Delivery and Economic Growth from the Point of View of Sustainable Development and Seaports

Energies ◽  
2021 ◽  
Vol 14 (14) ◽  
pp. 4255
Author(s):  
Elżbieta Szaruga ◽  
Zuzanna Kłos-Adamkiewicz ◽  
Agnieszka Gozdek ◽  
Elżbieta Załoga
Keyword(s):  
Sustainable Development ◽  
Crude Oil ◽  
Cross Correlation ◽  
Point Of View ◽  
Oil Products ◽  
Modern Approach ◽  
Economic Cycles ◽  
Study Results ◽  
The One ◽  
Oil And Oil Products

This paper presents the synchronisation of economic cycles of GDP and crude oil and oil products cargo volumes in major Polish seaports. On the one hand, this issue fits into the concept of sustainable development including decoupling; on the other hand, the synchronisation may be an early warning tool. Crude oil and oil products cargo volumes are a specific barometer that predicts the next economic cycle, especially as they are primary sources of energy production. The research study applies a number of TRAMO/SEATS methods, the Hodrick–Prescott filter, spectral analysis, correlation and cross-correlation function. Noteworthy is the modern approach of using synchronisation of economic cycles as a tool, which was described in the paper. According to the study results, the cyclical components of the cargo traffic and GDP were affected by the leakage of other short-term cycles. However, based on the cross-correlation, it was proved that changes in crude oil and oil products cargo volumes preceded changes in GDP by 1–3 quarters, which may be valuable information for decision-makers and economic development planners.

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

scholarly journals Emotional Eating and Weight Status in Adolescents: A Systematic Review

2021 ◽  
Vol 18 (3) ◽  
pp. 991
Author(s):  
Christine A. Limbers ◽  
Emma Summers
Keyword(s):  
Systematic Review ◽  
Weight Loss ◽  
Emotional Eating ◽  
Weight Status ◽  
English Language ◽  
Gastric Bypass Surgery ◽  
Study Results ◽  
Weight Outcomes ◽  
Prospective Association ◽  
The One

Background: Despite evidence that emotional eating is associated with weight gain in adults, less is known about this association in adolescents. The purpose of the current study was to conduct a systematic review to assess the association between emotional eating and weight status in adolescents. This study also sought to describe existing measures of emotional eating in adolescents and explore weight-loss interventions that assessed emotional eating in relation to weight status in this population. Methods: Two independent reviewers searched the database PubMed for published or in press peer-reviewed studies that assessed the association between emotional eating and weight status in adolescents aged 12 to 19 years. Studies were excluded from this review if they were not written in the English language, did not include a measure of emotional eating, or were a dissertation study. Results: A total of 13 studies met full inclusion criteria and were included in the systematic review. Of the six longitudinal studies in the review, only one found a prospective association between emotional eating and weight status. The Dutch Eating Behavior Questionnaire was the most widely used measure of emotional eating in the systematic review (n = 6; 46.2%). The one intervention study included in this review found that baseline emotional eating was not associated with weight outcomes 2 years following gastric bypass surgery in obese Swedish adolescents (13–18 years). Conclusions: While there were some inconsistent findings across the studies included in this review, taken as a whole, the results largely do not support an association between emotional eating and elevated weight status or reduced weight loss in adolescents.

The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets

2008 ◽  
Vol 44-46 ◽  
pp. 537-544
Author(s):  
Shi Yi Bao ◽  
Jian Xin Zhu ◽  
Li J. Wang ◽  
Ning Jiang ◽  
Zeng Liang Gao
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Quantitative Assessment ◽  
Stochastic Petri Nets ◽  
Industrial Park ◽  
Domino Effect ◽  
State Space Explosion ◽  
Stochastic Petri Net ◽  
Chemical Industrial Park

The quantitative analysis of “domino” effects is one of the main aspects of hazard assessment in chemical industrial park. This paper demonstrates the application of heterogeneous stochastic Petri net modeling techniques to the quantitative assessment of the probabilities of domino effects of major accidents in chemical industrial park. First, five events are included in the domino effect models of major accidents: pool fire, explosion, boiling liquid expanding vapour explosion (BLEVE) giving rise to a fragment, jet fire and delayed explosion of a vapour cloud. Then, the domino effect models are converted into Generalized Stochastic Petri net (GSPN) in which the probability of the domino effect is calculated automatically. The Stochastic Petri nets’ models, which are state-space based ones, increase the modeling flexibility but create the state-space explosion problems. Finally, in order to alleviate the state-space explosion problems of GSPN models, this paper employs Stochastic Wellformed Net (SWN), a particular class of High-Level (colored) SPN. To conduct a case study on a chemical industrial park, the probability of domino effects of major accidents is calculated by using the GSPN model and SWN model in this paper.

Sign in / Sign up

Export Citation Format

Share Document