Pascal Lingnau

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1