Coloured Petri net models for automated manufacturing systems.

N. Viswanadham, Y. Narahari

Browse the full ICRA paper archive.