Skip to content

Efficient computation of enabled transition bindings in high-level Petri nets.

Michael J. Sanders

VenueBSMC
Year2000
ProceedingsSMC

Browse the full SMC paper archive.