Mario P. Pescarmona

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

Publications

Giorgio Bruno, Andrea Castella, Rakesh Agarwal, Mario P. Pescarmona
CAB: an Environment for Developing Concurrent Application. Application and Theory of Petri Nets (1995)
Giorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona
A new Petri net based formalism for specification, design and analysis of real-time systems. RTSS (1993)
Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona
Scheduling Hard Real Time Systems Using High-Level Petri Nets. Application and Theory of Petri Nets (1992)