Petri nets as a means to validate an architecture for time aware systems
['Francesco Fiamberti', 'Daniela Micucci', 'Francesco Tisato']
Petri nets as a means to validate an architecture for time aware systems