Inheritance of workflows: An approach to tackling problems related to change

DOI10.1016/S0304-3975(00)00321-2zbMath0984.68113DBLPjournals/tcs/AalstB02OpenAlexW2178686891WikidataQ57006129 ScholiaQ57006129MaRDI QIDQ5958305

Twan Basten, Wil M. P. van der Aalst

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00321-2

zbMATH Keywords

Petri netsinheritanceworkflow managementadaptive workflowdynamic changemanagement information

Mathematics Subject Classification ID

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

Related Items (9)

Reusing artifact-centric business process models: a behavioral consistent specialization approach ⋮ Preserving correctness during business process model configuration ⋮ Inheritance of behavior ⋮ Modeling and monitoring of E-commerce workflows ⋮ Flexibility in Process-Aware Information Systems ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ Connectivity of workflow nets: The foundations of stepwise verification ⋮ Ontology Support for Managing Top-Down Changes in Composite Services ⋮ Slicing techniques for verification re-use

Uses Software

• Woflan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branching bisimilarity is an equivalence indeed!
• Verification of workflow task structures: A Petri-net-based approach
• Diagnosing Workflow Processes using Woflan
• Process Algebra
• Branching time and abstraction in bisimulation semantics
• Workflow evolution
• Free Choice Petri Nets
• Inheritance of behavior
• Advances in Petri nets 1992

This page was built for publication: Inheritance of workflows: An approach to tackling problems related to change