135
Voted
SOFSEM
2009
Springer
16 years 3 days ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...