Interval diagram techniques for symbolic model checking of Petri nets | IEEE Conference Publication | IEEE Xplore