Coverability of reset Petri nets and other wellstructured transition systems by partial deduction (0)

by M Leuschel, H Lehmann
Venue:Computational Logic, CL 2000, Proceedings, LNAI 1861