Supplementary material for Article \"Reduction of Data-Value-Aware Process Models\"
收藏数据链接：
官方服务：
资源简介：
The supplementary material includes the original and reduced spectrum auction BPMN models, the original and the reduced spectrum auction Petri Nets, and the verification results for Article \"Reduction of Data-Value-Aware Process Models based on Relevance\".
创建时间：
2023-11-08
