OpenAlex
Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
Work