In this diploma thesis, we define a formalism for a time-extension to classic P/T (or Petri-)nets. This allows time durations to be assigned to transitions of a P/T net, representing delays present in the systems that are being modelled, which in turn influence (restrict) the firing behaviour of the nets. This is especially useful when modelling time-critical systems. The new contribution of th...