J. Desel and J. Esparza. Free-choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Process Mining Discovering Workflow Models from Event-Based.. - Weijters, van der Aalst (2001) (1 citation) (Correct)
Verification of XRL: An XML-based Workflow Language - van der Aalst, Verbeek, Kumar (1 citation) (Correct)
Rediscovering Workflow Models from Event-Based Data using .. - Weijters, van der Aalst (2001) (2 citations) (Correct)
Inheritance of Interorganizational Workflows: How to agree to.. - van der Aalst (2000) (1 citation) (Correct)
Discovering Workflow Performance Models from Timed Logs - van der Aalst, van Dongen (2002) (2 citations) (Correct)
Expressiveness and Suitability of Languages for Control Flow.. - Kiepuszewski (2002) (12 citations) (Correct)
Workflow Mining: Which processes can be rediscovered? - van der Aalst, Weijters.. (2002) (Correct)
Fundamentals of Control Flow in Workflows - Kiepuszewski, Hofstede, van der .. (2002) (5 citations) (Correct)
YAWL: Yet Another Workflow Language - van der Aalst, Hofstede (2002) (15 citations) (Correct)
Fundamentals of Control Flow in Workflows - Kiepuszewski, Hofstede, van der .. (2002) (5 citations) (Correct)
An Alternative Way to Analyze Workflow Graphs - van der Aalst, Hirnschall.. (2002) (2 citations) (Correct)
Diagnosing Workflow Processes Using Woflan - Verbeek, Basten, van der Aalst (1999) (5 citations) (Correct)
Decidability and complexity of Petri net problems - an Introduction - Esparza (1998) (25 citations) (Correct)
An Agent-Based Workflow Management System - Palacz, Marinescu (1999) (1 citation) (Correct)
The Isomorphism Between a Class of Place Transition Nets .. - Palacz, Bölöni.. (1999) (Correct)
Diagnosing Workflow Processes Using Woflan - Verbeek, Basten, van der Aalst (1999) (5 citations) (Correct)
Structural Characterizations of Sound Workflow Nets - van der Aalst (1996) (Correct)
Diagnosing Workflow Processes Using Woflan - Verbeek, Basten, van der Aalst (1999) (5 citations) (Correct)
Inheritance of Interorganizational Workflows: How to agree to.. - van der Aalst (2000) (1 citation) (Correct)
Designing Workflows Based on Product Structures - van der Aalst (1997) (Correct)
Inheritance of Behavior - Basten, van der Aalst (Correct)
Component-Based Software Architectures: A Framework Based .. - van Hee, van der Toorn (2000) (Correct)
Inheritance of Behavior - Basten, van der Aalst (Correct)
Interorganizational Workflows: An approach based on Message.. - van der Aalst (1999) (8 citations) (Correct)
Inheritance of Workflows - An approach to tackling.. - van der Aalst, Basten (3 citations) (Correct)
Verification of Workflow Task Structures: A.. - van der Aalst, Hofstede (1998) (7 citations) (Correct)
Diagnosing Workflow Processes Using Woflan - Verbeek, Basten, van der Aalst (1999) (5 citations) (Correct)
Inheritance of Dynamic Behavior - Development of a.. - Basten, van der Aalst (1999) (Correct)
Deriving Petri Nets from Finite Transition Systems - Cortadella, Kishinevsky.. (1998) (4 citations) (Correct)
Inheritance of Workflows - An approach to tackling.. - van der Aalst, Basten (1999) (3 citations) (Correct)
Formalization and Verification of Event-driven Process Chains - van der Aalst (1999) (9 citations) (Correct)
Inheritance of Dynamic Behavior - Development of a.. - Basten, van der Aalst (1999) (Correct)
Decidability and complexity of Petri net problems - an Introduction - Esparza (1998) (25 citations) (Correct)
YAWL: Yet Another Workflow Language - van der Aalst, Hofstede (2003) (15 citations) (Correct)
A Novel Approach for Process Mining Based on Event Types - Wen, Wang, van der Aalst, .. (Correct)
ILP Models for the Synthesis of Asynchronous Control Circuits - Carmona, Cortadella (2003) (Correct)
Process Mining: A Research Agenda - van der Aalst, Weijter (2003) (1 citation) (Correct)
A Polynomial Algorithm to Compute the Concurrency Relation.. - Kovalyov, Esparza (1995) (9 citations) Self-citation (Esparza) (Correct)
Reachability in Live and Safe Free-Choice Petri Nets is NP-complete - Esparza (1996) (2 citations) Self-citation (Esparza Nets) (Correct)
Challenges in Business Process Management: Verification of.. - van der Aalst Self-citation (Petri) (Correct)
Making Work Flow: On the Application of Petri nets to Business .. - van der Aalst (2 citations) Self-citation (Petri) (Correct)
Life-Cycle Inheritance - A Petri-Net-Based Approach - van der Aalst, Basten (1997) (9 citations) Self-citation (Petri) (Correct)
Woflan 2.0 - A Petri-net-based Workflow Diagnosis Tool - Verbeek, van der Aalst Self-citation (Petri) (Correct)
Beyond Asymmetric Choice: A note on some extensions - van der Aalst, Kindler, Desel Self-citation (Desel) (Correct)
Workflow Verification: Finding Control-Flow Errors Using.. - van der Aalst (2000) (6 citations) Self-citation (Petri) (Correct)
Three Good Reasons for Using a Petri-net-based Workflow.. - van der Aalst (1996) (9 citations) Self-citation (Petri) (Correct)
The Application of Petri Nets to Workflow Management - van der Aalst (1998) (54 citations) Self-citation (Petri) (Correct)
Hardware and Petri Nets: Application to.. - Cortadella.. (2000) (1 citation) Self-citation (Nets) (Correct)
Life-Cycle Inheritance: A Petri-Net-Based Approach - van der Aalst, Basten (1997) (9 citations) Self-citation (Petri) (Correct)
Reachability in Live and Safe Free-Choice Petri Nets is NP-complete - Esparza (1996) (2 citations) Self-citation (Esparza Nets) (Correct)
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