Model Checking of Time Petri Nets Based on Partial Order Semantics. - Burkhard Bieber; Hans Fleischhack (CONCUR, 1999)