A new Petri net based formalism for specification, design and analysis of real-time systems.

Giorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona

Browse the full RTSS paper archive.