Concurrent generalized Petri nets: regenerative conditions | IEEE Conference Publication | IEEE Xplore