Coloured Petri Nets for Chronicle Recognition

An activity is described by a chronicle that expresses relationships between events in a sequence ordered in time. A chronicle language provides a syntax for the different chronicle operators considered. The recognition of chronicles is used in the processing of complex system simulations so as to detect activities or analyse behaviours. This work models formally the chronicle recognition, and coloured Petri nets (CPN) are used to model the recognition of a chronicle within a flow of events. The occurrence of an event to be detected is modelled by the firing of the corresponding transition. We provide coloured Petri nets to model the recognition of chronicles expressed with logical and temporal operators, as well as minimum and maximum time delays. We show how the composition of operators can be modelled by a composition of the coloured subnets associated with the different operators. The algebraic properties of the operators are reflected in the coloured nets. In this work, composition is achieved through place fusion, and a comprehensive modelling is provided, including more delicate issues such as chronicle with repetitions, and the absence of sub-chronicles.

[1]  van der Wmp Wil Aalst,et al.  PATTERNS IN COLORED PETRI NETS , 2005 .

[2]  Sponsor Siso.  Draft Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)—Object Model Template (OMT) Specification , 2008 .

[3]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[4]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[5]  Hanna Klaudel,et al.  M-nets: a survey , 2008, Acta Informatica.

[6]  Audine Subias,et al.  Chronicle modeling by Petri nets for distributed detection of process failures , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[7]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[8]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[9]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[10]  Wael Khansa.  Réseaux de Pétri P-Temporels : contribution à l'étude des systèmes à évènements discrets , 1997 .

[11]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[12]  Joost-Pieter Katoen,et al.  Causal Behaviours and Nets , 1995, Application and Theory of Petri Nets.

[13]  Giorgio De Michelis,et al.  Application and Theory of Petri Nets 1995 , 1995 .

[14]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[15]  Charles Lesire,et al.  PARTICLE PETRI NET-BASED ESTIMATION IN HYBRID SYSTEMS TO DETECT INCONSISTENCIES , 2007 .

[16]  Amine Boufaied.  Contribution à la surveillance distribuée des systèmes à évènements discrets complexes , 2003 .

[17]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[18]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[19]  Hanna Klaudel,et al.  A semantics of Security Protocol Language (SPL) using a class of composable high-level Petri nets , 2004, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..

[20]  Natalia Sidorova,et al.  Modeling grid workflows with colored Petri nets , 2007 .

[21]  Christine Choppy,et al.  Reusing distributed simulation through processing tools , 2008 .

[22]  Malik Ghallab,et al.  Situation Recognition: Representation and Algorithms , 1993, IJCAI.

[23]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[24]  Jan Carlson,et al.  Event Pattern Detection for Embedded Systems , 2007 .

[25]  van der Wmp Wil Aalst,et al.  Towards a pattern language for colored petri nets , 2005 .

[26]  Thomas Chatain,et al.  Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets , 2005, FORMATS.