Real-Time System Verification using P/T Nets. - Roberto Gorrieri; Glauco Siliprandi (CAV, 1994)