Motion planning for humanoid robots using timed Petri net and modular state net | IEEE Conference Publication | IEEE Xplore