Concurrent temporal planning using timed Petri nets - Policy evaluation

Abstract

This paper is the first in a series which address the development of a temporal planner using timed Petri net (TPN) models of concurrent temporal plans. Unlike previous work which uses Petri net unfoldings to develop partially ordered plans (in the untimed case), the approach presented here is purely algebraic, and is based on a (min,max,+) discrete event dynamical system description of a TPN. This paper focuses primarily on policy evaluation, with subsequent work detailing how to use this approach for efficient optimal temporal planning. © Springer-Verlag Berlin Heidelberg 2007.