@article {1456,
	title = {On the Performance Estimation and Resource Optimisation in Process Petri Nets},
	journal = {IEEE Transactions on Systems, Man and Cybernetics: Systems},
	volume = {46},
	year = {2013},
	month = {11/2013},
	pages = {1385-1398},
	chapter = {1385},
	doi = {10.1109/TSMC.2013.2245118},
	author = {Ricardo J. Rodr{\'\i}guez and Jorge J{\'u}lvez and Jos{\'e} Merseguer}
}

