A PMIF with petri net building blocks. - Lladó, Catalina M.; Harrison, Peter G. (2011)