Back to Search Start Over

A resource configuration method for liveness of a class of Petri nets