Efficient computation of enabled transition bindings in high-level Petri netsMichael J. Sanders2000SMC 2000
Magical device: A small device that makes it easy to build real-world navigation systemsYasuharu KatsunoRyohji Honda2000SMC 2000