State space generation algorithm for gals systems modeled by IOPT Petri nets | IEEE Conference Publication | IEEE Xplore