A parameterized Petri net model for the organization level of intelligent robotic systems | IEEE Conference Publication | IEEE Xplore