Process architecture

About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.

Deterministic and stochastic Petri net models of protection schemes

Abstract: The authors establish the relevance of Petri net modeling to protection studies. They illustrate how the different Petri net models capture the information that is of importance to both qualitative and quantitative evaluation of protection schemes. The marked Petri nets allow one to evaluate the qualitative performance measures of conservativeness, safeness, and properness. Time Petri nets are able to represent the timing parameters of protection schemes, and serve as a tool for the establishment of relationships between these parameters, in order that the coordination between primary and backup protection is ensured. An alternative means of representing timing information is the timed Petri net, which is useful in the computation of the cycle times of the operational cycles of protection schemes. Stochastic Petri nets adequately represent the stochastic nature of protection. Their advantage over simulation techniques as a means of computing the mean sojourn time and the steady-state probability of occupancy of each state of the protection scheme is demonstrated. >

Extending Petri nets for specifying man-machine dialogues

Abstract: The requirements of man-machine dialogue-specification techniques are examined. Petri nets are identified as possible candidates for a modelling technique for dialogues on the basis of their applicability to concurrent, asynchronous systems. Labelled Petri nets are extended to nested Petri nets, allowing transitions to invoke subnets. It is shown that this extension allows nested Petri nets to generate at least the set of context-free languages. Further extensions are made to simplify the modelling of input and output in the user interface, resulting in input-output nets. Transitions labelled by error conditions and meta functions on nets are introduced to increase the usability of the model. Finally, the use of the model is demonstrated by modelling a small hypothetical command language.

Modeling and Validating E-Commerce Business Process Based on Petri Nets

Abstract: E-commerce and online shopping with a third-party payment platform have rapidly developed recently, and encountered many fault tolerance and security problems concerned by users. The causes of these problems include malicious behavior and imperfect business processes. The latter lead to the emergence of security vulnerabilities and loss of user funds which become more and more serious these years. We focus on the business process of e-commerce, and propose a formal model for constructing an e-commerce business process called an E-commerce Business Process Net. It integrates both data and control flows based on Petri nets. Rationality and transaction consistency are defined and validated to guarantee the transaction properties of an e-commerce business process. This paper offers a complete methodology for modeling and validating an e-commerce system with a third-party payment platform from the view point of a business process. Its use enables a designer to identify errors early in the design process and correct them before the deployment phase. In order to demonstrate the applicability and feasibility of the methodology, we have modeled and validated a real-world e-commerce business process and discovered the problems that cause the violation of transaction properties.

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets

Abstract: This article describes a new version of the QPN-Tool now supporting specification and analysis of hierarchically combined Queueing Petri nets (HQPNs). HQPNs are an extension of QPNs allowing the refinement of places by QPN subnets and/or queues. HQPNs can be analysed with respect to qualitative and quantitative aspects. Quantitative analysis is based on numerical Markov chain analysis. In contrast to conventional techniques the Markov chain underlying a HQPN is analysed by an approach exploiting the hierarchical structure of the model which results in a tensor representation of the generator matrix. This technique extends the size of solvable state spaces by one order of magnitude. Qualitative analysis of HQPNs relies on efficient analysis techniques based on Petri net theory. The new version of QPN-Tool implements the above analysis approaches supported by a graphical interface for a convenient specification of complex models.