Resource sharing estimation by Petri nets in PISH hardware/software co-design system. - Pado Maciel; Edna Barros; Mauro Silva; Fred Cruz Filho (SMC, 2000)