An approximation algorithm for the legal firing sequence problem of Petri nets | IEEE Conference Publication | IEEE Xplore