Modeling of, and Reasoning with Recurrent Events with Imprecise Durations

Abstract

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.KeywordsRecurrent EventPossibilistic DistributionPossibility TheoryInput PlaceFiring TransitionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.