Process analysis of multirobot interconnection system using timed Petri nets reduction

We present a method of analysis for the process flows of a multirobot interconnection system (MRIS) using timed Petri nets (TPNs) reduction. We extend functional reduction rules of a TPN to sequence, fork, join and equivalence composition. We consider two types of MRIS which have error recoverable and collisions avoidance functions.