Model Checking of Time Petri Nets Based on Partial Order Semantics.

Burkhard Bieber, Hans Fleischhack

Browse the full CONCUR paper archive.