Reduced alignment based on Petri nets

Yinhua Tian, Yuyue Du, Maozhen Li, Dong Han, Qiang Hu. Reduced alignment based on Petri nets. Concurrency - Practice and Experience, 30(23), 2018. [doi]

Abstract

Abstract is missing.