Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming | IEEE Journals & Magazine | IEEE Xplore