Teaching timed hybrid Petri nets for performance modeling of computers networks protocols

Abstract

The handling of abstraction and of models is generally claimed to be one of the central issues of computer engineering and science. However, little attention is paid to the process of model creation, validation and performance evaluation of computer networks protocols.