Burkhard Bieber Hans Fleischhack Model Checking of Time Petri Nets Based on Partial Order Semantics. 210-225 http://link.springer.de/link/service/series/0558/bibs/1664/16640210.htm 1999 conf/concur/1999 CONCUR db/conf/concur/concur1999.html#BieberF99