Petri net modeling for reactive system verification | IEEE Conference Publication | IEEE Xplore