Scheduling Hard Real Time Systems Using High-Level Petri Nets. - Giorgio Bruno; Andrea Castella; Gianpaolo Macario; Mario P. Pescarmona (Application and Theory of Petri Nets, 1992)

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)

CAB: an Environment for Developing Concurrent Application. - Giorgio Bruno; Andrea Castella; Rakesh Agarwal; Mario P. Pescarmona (Application and Theory of Petri Nets, 1995)