Modeling of, and Reasoning with Recurrent Events with Imprecise Durations

In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties of the recurrent processes being modeled by an extended Petri net. Such temporal properties include time-stamps stored in tokens and durations of firing the transitions. We apply our method to model the recurrent behavior of an automated manufacturing cell.