Applying specialization to petri nets: implications for workflow design

Authors:
George M. Wyner;Jintae Lee
Affiliations:
Boston University School of Management, Boston, MA;Leeds School of Business, University of Colorado, Boulder, CO
Venue:
BPM'05 Proceedings of the Third international conference on Business Process Management
Year:
2005

Citing 8
Cited 0

Regular types for active objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Behavior-consistent specialization of object life cycles

ACM Transactions on Software Engineering and Methodology (TOSEM)
Inheritance of workflows: an approach to tackling problems related to change

Theoretical Computer Science
Process Specialization: Defining Specialization for State Diagrams

Computational & Mathematical Organization Theory
Object/Behavior Diagrams

Proceedings of the Seventh International Conference on Data Engineering
Tools for Inventing Organizations: Toward a Handbook of Organizational Processes

Management Science
Defining specialization for dataflow diagrams

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inheritance has been suggested as a tool for managing changes in workflow systems. Van der Aalst and Basten [1] have identified four types of inheritance for workflows using a representation based on Petri nets . While they capture intuitions important for business process redesign, they suffer from their inability to state class-level constraints. This paper illustrates this limitation and proposes an extension that accommodates the class semantics and enables explicit representation of constraints on what variations in workflow are consistent with the original workflow. It also shows that the proposed approach subsumes the Van der Aalst and Basten's four inheritance types under a single framework and overcomes their limitation.