Modular construction of compact Petri net models. (2017)