Giorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona. A new Petri net based formalism for specification, design and analysis of real-time systems. In Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, December 1993. pages 294-301, IEEE Computer Society, 1993. [doi]
Abstract is missing.