An algorithm for the evolution graph of extended hybrid Petri nets | IEEE Conference Publication | IEEE Xplore