Title: Path Planning of Cooperative Mobile Robots Using Discrete Event Models