Model Checking of Workflow Nets with Tables and Constraints
Year: 2025
Type: article
DOI: 10.1145/3736177
Authors: Jian Song, Guanjun Liu, Miaomiao Wang
Institutions: Tongji University, Beijing Institute of Control Engineering
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: closed
Award: G2845505838
OpenAlex ID: W4410430271