Model Checking ofWorkflow Nets with Tables and Constraints

Jian Song, Guanjun Liu

Many operations in workflow systems are dependent on database tables. The classical workflow net and its extensions (e.g., worflow net with data) cannot model these operations so t…