Infinite Petri Nets as Models of Grids

2015 ◽  
pp. 187-204 ◽  
Author(s):  
Dmitry A. Zaitsev ◽  
Ivan D. Zaitsev ◽  
Tatiana R. Shmeleva
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Regular Structure ◽  
Parametric Representation ◽  
Future Research ◽  
Parametric Form ◽  
Infinite Systems ◽  
Analysis Technique ◽  
Parametric Description

An overview of works, early published by the authors, has been done that explains peculiarities of composition and analysis technique developed for investigation of infinite Petri nets with regular structure which were introduced for modeling networks, clusters, and computing grids. Parametric description of Petri nets, parametric representation of infinite systems for calculation place/transition invariants, and solving them in parametric form allowed the invariance proof for infinite Petri net models. Complex deadlocks were disclosed and a possibility of the network blocking via ill-intended traffic revealed. Prospective directions for future research of infinite Petri nets were formulated.

scholarly journals The Combination of Petri Nets and Queueing Theory

2019 ◽  
Vol 9 (1S5) ◽  
pp. 293-294
Keyword(s):  
Petri Nets ◽  
Waiting Time ◽  
Petri Net ◽  
Queueing Theory ◽  
Time Delays ◽  
Queueing Network ◽  
Literature Survey ◽  
Future Research ◽  
Implementation Cost ◽  
Stochastic Petri Net

In this paper, We reviews that most of the articles under the topics petri net (PN), stochastic petri net (SPN), collared petri net (CPN), timed petri net (TPN) and queueing theory(queueing network) were created models and methods independently. After review we came to a conclusion, that the combination of petri net and queueing theory types is used to reduce the implementation cost on the applications. This literature survey shows the outline of recent works done using petri net(SPN,CPN,TPN) and queueing theory models in different applications. The main aim of the queueing theory is to reduce the waiting time, delays in travels, cost. So future research and extension to further the fruitful applications reducing delays using the combination of petri net (SPN,CPN,TPN) and queueing theory (queueing network) are discussed in this article.

A literature overview of knowledge sharing between Petri nets and ontologies

2016 ◽  
Vol 31 (3) ◽  
pp. 239-260 ◽  
Author(s):  
Haitao Cheng ◽  
Zongmin Ma
Keyword(s):  
Artificial Intelligence ◽  
Knowledge Representation ◽  
Knowledge Sharing ◽  
Petri Nets ◽  
Petri Net ◽  
Knowledge Engineering ◽  
Future Research ◽  
Knowledge Domain ◽  
Literature Overview ◽  
Popular Knowledge

AbstractKnowledge representation is a subarea of artificial intelligence concerned with using formal symbols to represent a set of facts within a knowledge domain. Two popular knowledge representation languages, namely Petri net and ontology, are promising knowledge sharing and reusing methods in knowledge engineering. The combination of Petri net and ontology can facilitate achieving complementary advantages. Currently, many efforts have been done on knowledge sharing between Petri nets and ontologies. To investigate these issues and more importantly serve as identifying the direction of knowledge sharing between Petri nets and ontologies, in this paper we give a comprehensive literature overview of knowledge sharing between Petri net models and ontology models to satisfy the obvious need. In detail, we discuss the knowledge sharing from two aspects: the different knowledge representation approaches of ontology to represent and reason Petri net and issues of constructing Petri net from ontology. In addition, other important issues on applications and directions for future research are discussed in detail.

scholarly journals Collective efficacy and disorder through the eyes of neighbourhood inhabitants and key informants

2021 ◽  
pp. 147737082110006
Author(s):  
Wim Hardyns ◽  
Thom Snaphaan ◽  
Sara Willems ◽  
Lieven J. R. Pauwels
Keyword(s):  
Convergent Validity ◽  
Social Trust ◽  
Survey Method ◽  
Future Research ◽  
Ecological Stability ◽  
Organizational Processes ◽  
Ecological Processes ◽  
Key Informants ◽  
Analysis Technique ◽  
Key Informant

This study examines the ecological reliability, convergent validity and ecological stability of neighbourhood (dis)organizational processes measured by means of two methods: inhabitant surveys and the so-called key informant analysis technique. Considering that ecological processes play a major role in many contemporary criminological theories and research, it is vital to take into account methodological challenges and to question the reliability, validity and stability of the measures reflecting these underlying processes. (Dis)organizational processes are predominantly measured by means of questionnaires surveying neighbourhood inhabitants. To yield ecologically reliable and valid measures this approach requires large numbers of respondents. In this study we analyse the relationships between ecological measures of neighbourhood processes based on surveys of inhabitants versus key informants. The findings suggest that key informants can provide reliable, valid and stable measures of (dis)organizational neighbourhood processes. Therefore, the key informant analysis technique is an essential complementary, or even substitutive, method in the measurement of neighbourhood processes; shared survey-method variance is eliminated and it is possible to survey fewer key informants than inhabitants to obtain reliable and valid information on social trust and disorder. Nevertheless, this method is not suitable for measuring all neighbourhood processes, such as informal social control. Therefore, outstanding challenges and avenues for future research are discussed as well.

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.

scholarly journals Impact of COVID-19 on the Customer End of Retail Supply Chains: A Big Data Analysis of Consumer Satisfaction

2021 ◽  
Vol 13 (3) ◽  
pp. 1464
Author(s):  
Patrick Brandtner ◽  
Farzaneh Darbanian ◽  
Taha Falatouri ◽  
Chibuzor Udokwu
Keyword(s):  
Data Analysis ◽  
Supply Chains ◽  
Consumer Satisfaction ◽  
Future Research ◽  
Grocery Shopping ◽  
Product Availability ◽  
Analysis Technique ◽  
Retail Chains ◽  
Retail Supply Chains ◽  
The Impact

The COVID-19 pandemic has been one of the biggest disruptive events of recent decades and has had a global effect on society and the economy. The political regulations resulting from COVID-19 also led to significant changes in physical grocery shopping. However, the specific impact of COVID-19 on consumer satisfaction at the customer end of retail supply chains, i.e., the point-of-sale (PoS), has not yet been addressed. By gathering and analyzing consumer satisfaction data (ratings) and sentiments (evaluation comments) available on the open web, the current study evaluates the impact of COVID-19 on consumer satisfaction at the PoS. Focusing on the five biggest retail chains in Austria, the results show that there was a general and significant decline in consumer satisfaction due to the pandemic. The results also show a high impact of political regulations on consumer satisfaction. Furthermore, the text-mining based analysis of evaluation comments indicate that store layout and facilities, as well as product availability and waiting time had a great impact on consumer satisfaction. In total, over 533,000 consumer satisfaction ratings and over 153,000 textual comments have been analyzed, providing the basis for a comprehensive and sound discussion of the impact of COVID-19 on consumer satisfaction and perceptions. Future research could focus on applying the used data analysis technique and the adapted consumer sentiment dimensions in different settings, such as countries other than Austria or smaller retail chains.

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.

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.

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.

Parametric Description of Vibration Using the Autocorrelation Function

2009 ◽  
Vol 147-149 ◽  
pp. 606-611
Author(s):  
Adam Kotowski
Keyword(s):  
Autocorrelation Function ◽  
Curve Fitting ◽  
Vibration Signal ◽  
Analytic Form ◽  
Parametric Representation ◽  
Rotating Machine ◽  
Fitting Procedure ◽  
Power Spectral ◽  
Parametric Description ◽  
Harmonic Components

The paper presents the use of the autocorrelation function for the description of vibrations and the problems connected with. The proposed method is based on the analysis of vibration signal recorded for machine during its operations using an analytic form of the autocorrelation function. The parameters are obtained using a curve fitting procedure. To keep a quality of parametric representation of considered vibration, only the curve fitting causes a determination coefficient over 0.90 is taken into consideration. Therefore, the autocorrelation functions are submitted for the fast Fourier transform to be helped, in determination of number of the dominant harmonic components. Also, the analytic form and parameters of power spectral density has been also calculated. Finally, the set of parameters has been collected to describe the selected fragment of vibration of the simple rotating machine. The influence of duration of analyzed vibration on the parameters values is also examined in this work.

Sign in / Sign up

Export Citation Format

Share Document