On the efficient computation of the minimal coverability set of Petri nets (0)

by G Geeraerts, J-F Raskin, L Van Begin
Venue:Int. J. Found. Comput. Sci