This is an old revision of the document!


Advanced resources

What will you learn?

Using sojourn time

Using sojourn time and deterministic transitions

Using local saturation