Set-based access conflict analysis of concurrent workflow definition

• 30 November 2001
• journal article
• research article
• Published by Elsevier in Information Processing Letters
• Vol. 80  (4) , 189-194
• https://doi.org/10.1016/s0020-0190(01)00162-4

Abstract

Keywords

• BUSINESS PROCESS
• CONCURRENCY
• BUSINESS PROCESS DESIGN
• WORKFLOW MANAGEMENT SYSTEM
• STATIC ANALYSIS