scientific article; zbMATH DE number 1445908

MaRDI QIDQ4952938zbMATH OpenFDO

Authors W. M. P. van der Aalst

Publication date 13 November 2000

zbMATH Keywords

Petri netsworkflow management

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Workflow management principles for interactions between Petri net-based agents
• scientific article; zbMATH DE number 1708020
• Petri net-based modelling of workflow systems: An overview
• Interacting workflow nets for workflow process re-engineering
• scientific article; zbMATH DE number 1755571
• scientific article; zbMATH DE number 2088651
• Verification of workflow task structures: A Petri-net-based approach
• A simulation model of loosely coupled inter-organizational workflows

Cited in

(19)

• Modeling and monitoring of E-commerce workflows
• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• scientific article; zbMATH DE number 1708020 (Why is no real title available?)
• A simulation model of loosely coupled inter-organizational workflows
• Open Petri Nets: Non-deterministic Processes and Compositionality
• Scenario-Based Timing Consistency Checking for Time Petri Nets
• A Formal Model for Organisational Structures behind Process-Aware Information Systems
• scientific article; zbMATH DE number 1943786 (Why is no real title available?)
• scientific article; zbMATH DE number 1945820 (Why is no real title available?)
• scientific article; zbMATH DE number 1947672 (Why is no real title available?)
• scientific article; zbMATH DE number 1980988 (Why is no real title available?)
• scientific article; zbMATH DE number 1980992 (Why is no real title available?)
• scientific article; zbMATH DE number 1755571 (Why is no real title available?)
• PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
• Inter-organizational business process management with XML nets
• Open Petri nets as semantic model for workflow integration
• Petri net-based modelling of workflow systems: An overview
• The complexity of soundness in workflow nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952938)