Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems: A net unfolding approach. In: WODES 2002: Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES 2002), Washington, DC, USA, 2002, p. 182. IEEE Computer Society Press, Los Alamitos (2002)
Bertrand, O., Carle, P., Choppy, C.: Chronicle modelling using automata and colored Petri nets. In: The 18th International Workshop on Principles of Diagnosis (DX 2007), pp. 229–234 (2007)
Bertrand, O., Carle, P., Choppy, C.: Vers une exploitation des simulations distribuées par les chroniques. In: 8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2007), pp. 15–30 (2007)
Bertrand, O., Carle, P., Choppy, C.: Modélisation comparée de chroniques à l’aide d’automates à états finis ou de réseaux de Petri colorés, 50 pages. Technical report, ONERA (2008)
Bertrand, O., Carle, P., Choppy, C.: Reusing simulation through processing tools. In: Simulation Interoperability Workshop (June 2008)
Boufaied, A., Subias, A., Combacau, M.: Chronicle modeling by Petri nets for distributed detection of process failures. In: Second IEEE International Conference on Systems, Man and Cybernetics (SMC 2002). IEEE Computer Society Press, Los Alamitos (2002)
Boufaied, A.: Contribution à la surveillance distribuée des systèmes à événements discrets complexes. PhD thesis, Université Paul Sabatier (2003)
Bouroulet, R., Klaudel, H., Pelz, E.: A semantics of security protocol language (spl) using a class of composable high-level petri nets. In: ACSD 2004: Proceedings of the Fourth International Conference on Application of Concurrency to System Design, Washington, DC, USA. IEEE Computer Society Press, Los Alamitos (2004)
Bratosin, C., van der Aalst, W., Sidorova, N.: Modeling Grid Workflows with Colored Petri Nets. In: CPN 2007, Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 2007, pp. 67–86 (2007)
Carle, P., Benhamou, P., Dolbeau, F.-X., Ornato, M.: La reconnaissance d’intentions comme dynamique des organisations. In: 6èmes Journées Francophones pour l’Intelligence Artificielle Distribuée et les Systèmes Multi-Agents (JFIADSMA 1998), Pont à Mousson (France) (November 1998)
Carle, P.: Rapport Mirador - Détections d’intrusions par chroniques. Technical report, Onera (2001)
Carlson, J.: Event Pattern Detection for Embedded Systems. PhD thesis, Mälardalen University, Department of Computer Science and Electronics (June 2007)
Chatain, T., Jard, C.: Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Net. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 196–210. Springer, Heidelberg (2005)
The CPN Tools Homepage (2007), http://www.daimi.au.dk/CPNtools
Dousson, C., Gaborit, P., Ghallab, M.: Situation Recognition: Representation and Algorithms. In: International Joint Conference on Artificial Intelligence (IJCAI), Chambéry, France, August 1993, pp. 166–172 (1993)
Dousson, C., Le Maigat, P.: Improvement of chronicle-based monitoring using temporal focalization and hierarchization. In: The International Workshop on Principles of Diagnosis (2006)
Genc, S., Lafortune, S.: Distributed Diagnosis of Place-Bordered Petri Nets. IEEE Trans. on Automation Science and Engineering 4(2), 206–219 (2007)
Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 313–341. Springer, Heidelberg (1991)
IEEE. IEEE standard for modeling and simulation (M & S) High Level Architecture (HLA)-Object Model Template (OMT) specification (2001)
Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 1, 2, 3. Springer, London (1995)
Katoen, J.-P.: Causal Behaviours and Nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 258–277. Springer, Heidelberg (1995)
Khansa, W.: Réseaux de Petri p-temporels: contribution à l’étude des systèmes à évènements discrets. PhD thesis, Université de Savoie (1997)
Klaudel, H., Pommereau, F.: M-nets: a survey. Acta Informatica (2008)
Lesire-Cabaniols, C., Tessier, C.: Particle Petri net-based estimation in hybrid systems to detect inconsistencies. In: DCDS 2007, 1st IFAC Workshop on Dependable Control of Discrete Systems (2007)
Merlin, P.: A study of the recoverability of computer system. PhD thesis, Université de Californie à Irvine (1974)
Mulyar, N., van der Aalst, W.M.P.: Patterns in colored Petri nets. In: BETA Working Paper Series, Eindhoven University of Technology, Eindhoven (2005)
Mulyar, N., van der Aalst, W.M.P.: Towards a pattern language for colored Petri nets. In: Jensen, K. (ed.) Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), Aarhus, Denmark, October 2005, vol. 576, pp. 39–48. University of Aarhus (2005)
Ramchandi, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Net. PhD thesis, MIT (February 1974)
Sifakis, J.: Use of Petri Nets for Performance Evaluation. In: Measuring, Modelling and Evaluating Computer Systems, Proc. of the Third Int. Symposium, Bonn - Bad Godesberg, Germany, October 3-5, 1977, pp. 75–93. North-Holland, Amsterdam (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C., Bertrand, O., Carle, P. (2009). Coloured Petri Nets for Chronicle Recognition. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)