Reduced alignment based on Petri nets. (11th January 2018)