Coloured Petri Nets for Monitoring Human Actions in Flexible Human-Robot Teams | IEEE Conference Publication | IEEE Xplore