Efficient state space search for time petri nets (1999)

by Johan Lilius
Venue:Electronic Notes in Theoretical Computer Science