W. van der Aalst. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Structure for Modern Computer Narratives - Clark Verbrugge School (Correct)
....through the control structure of a high level object oriented language. Our hypergraph model is derived by simplifying a form of Petri Net. Similar Petri Net models have been used in modelling workflow, the abstract relations and precedence requirements of tasks in a business environment [vdA98] Van der Aalst s workflow model is based on an enrichment of Petri Nets (transitions are augmented by the source of the firing impetus) and naturally does not discuss or define properties important to narratives per se. 3 Formalisms Our interest is in a simple formalism that can model normal ....
W. M. P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Formal Verification of E-Services and Workflows - Fu, Bultan, Su (2002) (1 citation) (Correct)
....of workflow specification was studied in several contexts. In [22] model checking was applied to Mentor workflow specifications. More specifically, their focus is on properties over graph structures (rather than execution results) A similar approach was taken using Petri net based structures in [29, 30]. In [8] Davulcu and et al. used concurrent transactional logic to model workflow systems, and verifying safety properties under certain environment was proved to be NP complete. Another technique for translating business processes in the process interchange format (PIF) to CCS was developed in ....
W. M. P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, systems and computers, 8(1):21--26, 1998.
Modelling the Human Resource Manager in Workflow Systems - Salimifard, Wright (Correct)
....called a work item, in the worklist of all the actors who are eligible to perform it. Once an actor is assigned to perform a specific work item, WfMS removes all the other instances of the work item from other worklists. A selected work item performed by an actor is referred to as an activity [1]. Interested readers are referred to [15, 1, 11] The resource dimension of the enterprise is one of the most challenging research areas within workflow technology. This paper focuses on resource management in workflow systems and proposes a new approach to model workflow resource manager. The ....
....of all the actors who are eligible to perform it. Once an actor is assigned to perform a specific work item, WfMS removes all the other instances of the work item from other worklists. A selected work item performed by an actor is referred to as an activity [1] Interested readers are referred to [15, 1, 11]. The resource dimension of the enterprise is one of the most challenging research areas within workflow technology. This paper focuses on resource management in workflow systems and proposes a new approach to model workflow resource manager. The described model provides a formal bed, which ....
[Article contains additional citation context not shown here]
van der Aalst W.M.P The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers, 8 (1) 1998, 21-66
Verification Of Business Processes For A Correspondence Handling .. - Schroeder (1999) (1 citation) (Correct)
....our results using examples taken from a scenario in work distribution in Correspondence Handling Centres. Keywords: Verification, Process Definition, Workflow Management 1. INTRODUCTION In the past few years, much research has been devoted to formal verification of business processes [14, 13, 11, 12, 10, 5]. As motivation for this strand of research Wodtke et al. point out that the only validation techniques for workflows currently available are animation and simulation, and argue that symbolic verification is a mature field that provides a number of results and tools appropriate for workflow ....
.... and argue that symbolic verification is a mature field that provides a number of results and tools appropriate for workflow verification [14] There are several suitable approaches the MENTOR project, for example, uses state charts [14, 13] van der Aalst develops a framework based on petri nets [11, 12]; and process algebras, a prominent example of which being CCS, the calculus for communicating systems [8] In this paper, we adopt CCS as the underlying language for the task of verifying process definitions. In Proceedings of European Symposium on Validation and Verification of Knowledge Based ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, Systems and Computers, 1998.
Towards a Pattern Language for Colored Petri Nets - Mulyar, van der Aalst (2005) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
When Are Two Workflows the Same? - Hidders, Dumas, van der Aalst.. (2005) Self-citation (Van der aalst) (Correct)
No context found.
van der Aalst, W. (1998), `The Application of Petri Nets to Workflow Management', The Journal of Circuits, Systems and Computers 8(1), 21--66.
Diagnosing Workflow Processes using Woflan - Verbeek, T.basten, Van Der Aalst (2001) (5 citations) Self-citation (Van der aalst) (Correct)
No context found.
van der Aalst, W. M. P. (1998) The application of Petri nets to workflow management. J. Circuits, Syst. Comput., 8,21--66.
YAWL: Yet Another Workflow Language - van der Aalst, Hofstede (2003) (15 citations) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Design and implementation of the YAWL system - Van Der Aalst (2004) (5 citations) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Challenges in Business Process Management: Verification of.. - van der Aalst Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Case Handling: A New Paradigm for Business Process Support - van der Aalst, Weske.. (2005) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Design and implementation of the YAWL system - van der Aalst, Aldred, Dumas.. (2004) (5 citations) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
XRL/Woflan: Verification and Extensibility of an.. - Verbeek, Van Der.. (2004) Self-citation (Van der aalst) (Correct)
No context found.
W.M.P. van der Aalst, The application of Petri nets to workflow management, The Journal of Circuits, Systems and Computers 8(1) (1998) 21--66.
Process Mining Discovering Workflow Models from Event-Based.. - Weijters, van der Aalst (2001) (1 citation) Self-citation (Van der aalst) (Correct)
....Compared to existing work we focus on workflow processes with concurrent behavior, i.e. detecting concurrency is one of our prime concerns. Therefore, we want to distinguish AND OR splits joins explicitly. To reach this goal we combine techniques from machine learning with WorkFlow nets (WF nets, [1]) WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1, 2, 7, 9, 10] Sb Se p10 P8 P9 P7 P6 P4 P5 P3 ....
....from machine learning with WorkFlow nets (WF nets, 1] WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1, 2, 7, 9, 10]. Sb Se p10 P8 P9 P7 P6 P4 P5 P3 P2 P1 T4 T12 T9 T7 T13 T11 T10 T8 T6 T5 T3 T2 T1 Figure 1: example of a workflow process modeled as a Petri net. Workflows are by definition case based, i.e. every piece of work is executed for a specific case. Examples of cases are a ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8 (1):21-66, 1998.
Rediscovering Workflow Models from Event-Based Data - Weijters, van der Aalst (2001) (2 citations) Self-citation (Van der aalst) (Correct)
....to existing work we focus on workflow processes with concurrent behavior, i.e. detecting concurrency is one of our prime concerns. Therefore, we want to distinguish AND OR splits joins explicitly. To reach this goal we combine techniques from machine learning with WorkFlow nets (WF nets, [1]) WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1,2,11 ,17,20] 3. Preliminaries: Workflow nets and ....
....from machine learning with WorkFlow nets (WF nets, 1] WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1,2,11 ,17,20]. 3. Preliminaries: Workflow nets and event logs Workflows are by definition case based, i.e. every piece of work is executed for a specific case. Examples of cases are a mortgage, an insurance claim, a tax declaration, an order, or a request for information. The goal of workflow management ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers,
Automated Discovery of Workflow Models from Hospital Data - Maruster, van der.. (2001) (1 citation) Self-citation (Van der aalst) (Correct)
....development of powerful information systems, able to control and support the flow of work. These systems are called Workflow Management Systems (WfMS) where a WfMS is generally thought of as a generic software tool which allows for definition, execution, registration and control of workflows [1]. Petri nets are attractive as the underlying model language for WfMS: they have a precise mathematical formalism, they provide a graphical image of the investigated processes, they can express all important features of the WfMS, and they can be subject to many analysis techniques [1] Petri nets ....
.... of workflows [1] Petri nets are attractive as the underlying model language for WfMS: they have a precise mathematical formalism, they provide a graphical image of the investigated processes, they can express all important features of the WfMS, and they can be subject to many analysis techniques [1]. Petri nets used for workflow process definition are called workflow nets (WF nets) However, the process of workflow design takes a lot of time and the resulting models are often incomplete and unrealistic. In the hospital domain, for example, some projects were developed to support patient ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. J. of Circuits, Systems, and Computers , 8(1): 21-66, 1998.
Verification of XRL: An XML-based Workflow Language - van der Aalst, Verbeek, Kumar (1 citation) Self-citation (Van der aalst) (Correct)
....XRL workflows. 1. Introduction Recent years have seen the proliferation of workflow management systems developed for different types of workflows and based on different paradigms [9] Despite the abundance of such tools, the critical issue of workflow verification is virtually neglected [1]. Few tools provide any form of verification support. The tools Woflan [11] and Flowmake [10] are two noteworthy exceptions. To complicate matters, more and more workflow management systems are used to support interorganizational business processes, e.g. in the context of Business To Business ....
....definition before it becomes operational. In fact, for interorganizational workflows, the costs of putting an erroneous workflow process definition into production are enormous because of the efforts required to repair errors crossing organizational boundaries. The soundness property, defined in [1], relates to the dynamics of the workflow process definition expressed in terms of a so called workflow net. A workflow net is a Petri net with one unique source place (for the initial state) and one unique sink place (for the final state) A workflow net is sound if the following requirements are ....
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
Rediscovering Workflow Models from Event-Based Data using .. - Weijters, van der Aalst (2001) (2 citations) Self-citation (Van der aalst) (Correct)
....to existing work we focus on workflow processes with concurrent behavior, i.e. detecting concurrency is one of our prime concerns [25] Therefore, we want to distinguish AND OR splits joins explicitly. To reach this goal we combine techniques from machine learning with WorkFlow nets (WF nets, [1]) WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1,2,13,19,23] 3. Preliminaries: Workflow nets and ....
....from machine learning with WorkFlow nets (WF nets, 1] WF nets are a subset of Petri nets. Note that Petri nets provide a graphical but formal language designed for modeling concurrency. Moreover, the correspondence between commercial workflow management systems and WF nets is well understood [1,2,13,19,23]. 3. Preliminaries: Workflow nets and event logs Workflows are by definition case based, i.e. every piece of work is executed for a specific case. Examples of cases are a mortgage, an insurance claim, a tax declaration, an order, or a request for information. The goal of workflow management is ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1): 21-66, 1998.
Inheritance of Interorganizational Workflows: How to agree to.. - van der Aalst (2000) (1 citation) Self-citation (Van der aalst) (Correct)
....overall workflow. The remainder of this paper is organized as follows. First, we introduce the notations, techniques, and theoretical results used in this paper. Unfortunately the proofs are quite complex and require a lot of preliminaries. The paper builds on Petri nets [43, 44] sound WF nets [1], branching bisimilarity [25] projection inheritance [14] and GCD LCM of processes [6, 7] The corresponding concepts are all introduced in Section 2. Readers familiar with these concepts can pass over selected parts of this section. Section 3 introduces the framework used to model ....
....( # # # ) 4. method use: # # ###### # , 5. visible start: for any # #. #### 6. visible end : for any # #.#: # # . Note that the connectedness requirement implies that there is one unique source and one unique sink place. For the readers familiar with the work presented in [1, 4]: the WF nets defined in this paper are extended with the latter three requirements, i.e. all methods are actually used in the network, and the start transitions #. and stop transitions have non # labels. The P T nets shown in figures 2 and 10 are WF nets. The structure of a WF net al..lows us ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal 36 of Circuits, Systems and Computers, 8(1):21--66, 1998.
Building a MultiAgent System from a User - Workflow Specification Ezio (Correct)
No context found.
W. van der Aalst. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Java CoG Kit Workflow Concepts for Scientific Experiments - von Laszewski (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. Paper, Department of Mathematics and Computing Science, Eindhoven University of Technology, NL-5600 MB, Eindhoven, The Netherlands, 1998. Available from: http://is.tm.tue.nl/staff/wvdaalst/publications/p53. pdf.
Analyzing Web Service Based Business Processes - Martens (2005) (Correct)
No context found.
W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
An Operating Guideline Approach to the SOA - Massuthe, Reisig, Schmidt (2005) (Correct)
No context found.
W. M. P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21-- 66, 1998.
An XML-Based Framework for Loosely Coupled - Applications On Grid (2003) (Correct)
No context found.
van der Aalst, W. M. P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1998) 21--66 A. Hoheisel and U. Der
Verification of Forbidden Behavior in EPCs - Simon, Mendling (2006) (Correct)
No context found.
W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 1998.
A Grid Workflow Language Using High-Level Petri Nets - Alt, al. (2006) (Correct)
No context found.
W. van der Aalst. The application of Petri Nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
A Grid Workflow Language Using High-Level Petri Nets - Alt, Hoheisel, Pohl, Gorlatch (2005) (Correct)
No context found.
van der Aalst, W.: The application of Petri Nets to workflow management. The Journal of Circuits, Systems and Computers 8 (1998) 21--66
An Operating Guideline Approach to the SOA - Massuthe, Reisig, Schmidt (2005) (Correct)
No context found.
W. M. P. van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
A Petri Net Semantics for BPEL - Stahl (2004) (2 citations) (Correct)
No context found.
W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
A Polynomial-Time Algorithm for Checking Consistency of.. - Esparza (2003) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Process Oriented Discovery of Business Partners - Martens (2005) (Correct)
No context found.
van der Aalst, W. (1998b). The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21--66.
Simulation and Equivalence between BPEL Process Models - Martens (2005) (Correct)
No context found.
W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Addressing Interoperability Issues in Business Process Management - Kutvonen (2005) (Correct)
No context found.
W. M. P. van der Aalst. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Pi calculus versus Petri nets: Let us eat "humble pie" rather.. - van der Aalst (2003) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Joflx.fl o Circuits, SystemsandCo3K5Kfld , 8(1):21--66, 1998.
A Polynomial-Time Algorithm for Checking Consistency of.. - Esparza (2003) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
On the Estimation of the Response Time - Of The Business (Correct)
No context found.
W.M.P. Van der Aalst. 1998. The application of Petri Nets to workflow management. The Journal of Circuits,Systems and Computers, vol. 8, pp. 21-66.
Comparing Petri Net and Activity Diagram Variants for.. - Eshuis, Wieringa (2002) (4 citations) (Correct)
No context found.
W.M.P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Reactive Petri Nets for Workflow Modeling - Eshuis, Dehnert (2003) (1 citation) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
Comparing Computer-Interpretable Guideline Models: .. - Peleg, Tu, Bury.. (2002) (3 citations) (Correct)
No context found.
van der Aalst WMP. The application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 1998;8(1):21-66.
On the Optimal Allocation of Resources - In Stochastic Workflow (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, vol. 8, pp. 21-66, 1998.
An Adaptive Distributed Workflow - System Framework Martin (2000) (Correct)
No context found.
W.M.P. van der Aalst, "The application of Petri nets to workflow management", The Journal of Circuits, Systems and Computer, 8(1):21-66, 1998
Modeling and Performance Evaluation of Workflow Systems - Juliane Dehnert.. (2000) (Correct)
No context found.
W. van der Aalst, The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers 8 (1) (1998) 21-- 66.
IEEE IEEE Concurrency Processes Driving the - Networked Economy Together (Correct)
No context found.
W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management," J. Circuits, Systems and Computers, Vol. 8, No. 1, 1998, pp. 21--66.
Workflow Interoperability: The WfMC Reference Model and an.. - Kaya (2001) (Correct)
No context found.
van der Aalst W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers,1998
A Framework for Distributed Workflow Systems - Martin Purvis Maryam (Correct)
No context found.
W.M.P. van der Aalst, "The application of Petri nets to workflow management", The Journal of Circuits, Systems and Computer , 8(1):21-66, 1998
Role-Based Access Control in Ambient and Remote Space - Wedde, Lischka (2004) (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
E-Services: A Look behind the Curtain - Hull, Benedikt, Christophides, Su (2003) (1 citation) (Correct)
No context found.
W.M.P. van der Aalst. The application of petri nets to workflow management. J. of Circuits, Systems and Computers, 8(1), 1998.
Matching Observed Behavior and Modeled Behavior: An Approach.. - van der Aalst (Correct)
No context found.
W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1):21--66 1998.
Multiagent Systems with Workflows - Vidal, Buhler, Stahl (2004) (3 citations) (Correct)
No context found.
W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management," J. Circuits, Systems, and Computers, vol. 8, no. 1, 1998, pp. 21--66.
Martin Purvis - Maryam Purvis Selena (2000) (Correct)
No context found.
W.M.P. van der Aalst, "The application of Petri nets to workflow management", The Journal of Circuits, Systems and Computer, 8(1):21-66, 1998
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC