Petri Nets as a Means to Validate an Architecture for Time Aware Systems.

Francesco Fiamberti Daniela Micucci Francesco Tisato

Published in: PNSE+ModPE (2013)

Keyphrases

petri net
discrete event systems
petri net model
complex systems
distributed systems
knowledge based systems
state machines
colored petri nets
computer systems
manufacturing systems
ims ld
embedded real time systems