Model Checking of Workflow Nets with Tables and Constraints.

Saved in:

Bibliographic Details
Title:	Model Checking of Workflow Nets with Tables and Constraints.
Authors:	Song, Jian¹, 1910690@tongji.edu.cn, Liu, Guanjun¹, liuguanjun@tongji.edu.cn, Wang, Miaomiao², emu_0630@163.com
Source:	ACM Transactions on Autonomous & Adaptive Systems; Jun2025, Vol. 20 Issue 2, p1-38, 38p
Database:	Applied Science & Technology Source

Description
ISSN:	15564665
DOI:	10.1145/3736177