Michael J. Sanders

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

Michael J. Sanders, Michael J. Sanders, 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

Constraint Satisfaction over Shared Multi-set Value Domains

Michael J. Sanders, Michael J. Sanders, 2000, PRICAI.

Constraint programming with object-oriented Petri nets

Michael J. Sanders, Michael J. Sanders, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).