Computing a Finite Prefix of a Time Petri Net.

Hans Fleischhack Christian Stehno Computing a Finite Prefix of a Time Petri Net. 163-181 2002 conf/apn/2002 ICATPN http://link.springer.de/link/service/series/0558/bibs/2360/23600163.htm db/conf/apn/icatpn2002.html#FleischhackS02