A polynomial time flow for implementing free-choice Petri-nets | IEEE Conference Publication | IEEE Xplore