Efficient computation of enabled transition bindings in high-level Petri netsMichael J. Sanders2000SMC 2000