基于流程抽象的协同业务过程符合性验证
莫启,向吉祥,汪煜祺,代飞,许小龙,齐连永
Compliance verification of collaborative business process based on process abstraction
计算机集成制造系统 . 2021, (9): 2542 -2555 .  DOI: 10.13196/j.cims.2021.09.007