Results 1 - 10 of 765

Petri Net Transformations for Business Processes – A Survey

by Niels Lohmann, Eric Verbeek, Remco Dijkman
"... Abstract. In Process-Aware Information Systems, business processes are often modeled in an explicit way. Roughly speaking, the available business process modeling languages can be divided into two groups. Languages from the first group are preferred by academic people but shunned by business people, ..."
Abstract - Cited by 37 (5 self) - Add to MetaCart
, and include Petri nets and process algebras. These academic languages have a proper formal semantics, which allows the corresponding academic models to be verified in a formal way. Languages from the second group are preferred by business people but disliked by academic people, and include BPEL, BPMN

The Application of Petri Nets to Workflow Management

by W.M.P. Van Der Aalst , 1998
"... 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 ..."
Abstract - Cited by 533 (64 self) - Add to MetaCart
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

Transforming BPEL to Petri Nets

by Sebastian Hinz, Karsten Schmidt, Christian Stahl - Proceedings of the International Conference on Business Process Management (BPM2005), volume 3649 of Lecture Notes in Computer Science , 2005
"... Abstract. We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL ..."
Abstract - Cited by 72 (5 self) - Add to MetaCart
Abstract. We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL

Decidability Issues for Petri Nets - a survey

by Javier Esparza, Mogens Nielsen , 1994
"... : We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics. 1. Introduction Petri nets are one of the most popular formal models for the representation and analysis of parallel proc ..."
Abstract - Cited by 122 (5 self) - Add to MetaCart
: We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics. 1. Introduction Petri nets are one of the most popular formal models for the representation and analysis of parallel

Transformations of Petri Nets

by H. Ehrig, K. Hoffmann, J. Padberg
"... The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engin ..."
Abstract - Cited by 7 (2 self) - Add to MetaCart
The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software

Transforming and Simulating Petri-Nets

by Herwig Unger, Thomas Boehme
"... A method is presented to transform a Petri-Net into a System of Concurrent State Machines simulating the original net. Moreover it is described how a System of Concurrent State Machines can be implemented on a multiprocessor system. Keywords: Petri Net, Parallel Programming, Multiprocessor System, S ..."
Abstract - Add to MetaCart
A method is presented to transform a Petri-Net into a System of Concurrent State Machines simulating the original net. Moreover it is described how a System of Concurrent State Machines can be implemented on a multiprocessor system. Keywords: Petri Net, Parallel Programming, Multiprocessor System

Formal Transformations of Petri Nets

by Maike Gajewsky, Francesco Parisi-Presicce , 2000
"... The incremental approach to the stepwise development of process models is based on the ability to transform a model (by replacing a submodel with another one) and to change the class of models (by adding features previously ignored). In the context of Petri Nets, this paper provides rigorous foundat ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
The incremental approach to the stepwise development of process models is based on the ability to transform a model (by replacing a submodel with another one) and to change the class of models (by adding features previously ignored). In the context of Petri Nets, this paper provides rigorous

The practitioner's guide to coloured Petri nets

by Lars M. Kristensen, Søren Christensen, Kurt Jensen - International Journal on Software Tools for Technology Transfer , 1998
"... Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, ..."
Abstract - Cited by 98 (17 self) - Add to MetaCart
, hardware designs, embedded systems, software system designs, and business process re-engineering. Design/CPN is a graphical computer tool supporting the practical use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. The tool is used by more

Modeling and Analysis of Workflows using Petri Nets

by Nabil R. Adam, Vijayalakshmi Atluri, Wei-kuang Huang - Journal of Intelligent Information Systems , 1998
"... Editor: Abstract. A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of ..."
Abstract - Cited by 95 (2 self) - Add to MetaCart
of a task is a set of constraints that reflect the applicable business rules and user requirements. In this paper we present a Petri Net (P N) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual

Business Process Modeling Applications Using Decision Process Petri Nets

by Julio Clempner, Zvi Retchkiman
"... Abstract: This paper presents a formal framework for business process modeling and analysis using partially ordered transition Decision Process Petri nets (DPPN). The advantage of this approach is its ability to represent the dynamic behavior of the business process. The business process model is su ..."
Abstract - Add to MetaCart
Abstract: This paper presents a formal framework for business process modeling and analysis using partially ordered transition Decision Process Petri nets (DPPN). The advantage of this approach is its ability to represent the dynamic behavior of the business process. The business process model
Results 1 - 10 of 765