A new Petri net based formalism for specification, design and analysis of real-time systems. - Giorgio Bruno; Andrea Castella; I. Pavesio; Mario P. Pescarmona (RTSS, 1993)