Coloured petri nets for chronicle recognition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5570 LNCS, Issue , 2009, Pages 266-281

  Choppy, Christine ^a   Bertrand, Olivier ^b   Carle, Patrice ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b ONERA   (France)

Author keywords

Chronicle recognition formal modelling; Coloured Petri nets; Distributed simulation processing

Indexed keywords

ALGEBRAIC PROPERTIES; CHRONICLE RECOGNITION FORMAL MODELLING; COLOURED PETRI NETS; COMPLEX SYSTEMS; DISTRIBUTED SIMULATION PROCESSING; PLACE FUSIONS; SUBNETS; TEMPORAL OPERATORS;

ADA (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; GRAPH THEORY; PETRI NETS;

SIMULATORS;

EID: 69049094139     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01924-1_19     Document Type: Conference Paper

References (29)

1. 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)
2. 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)
3. 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)
4. 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)
5. Bertrand, O., Carle, P., Choppy, C.: Reusing simulation through processing tools. In: Simulation Interoperability Workshop (June 2008)
6. 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)
7. Boufaied, A.: Contribution à la surveillance distribuée des systèmes à événements discrets complexes. PhD thesis, Université Paul Sabatier (2003)
8. 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)
9. 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)
10. 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)
11. Carle, P.: Rapport Mirador - Détections d'intrusions par chroniques. Technical report, Onera (2001)
12. Carlson, J.: Event Pattern Detection for Embedded Systems. PhD thesis, M̈alardalen University, Department of Computer Science and Electronics (June 2007)
13. 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)
14. The CPN Tools Homepage (2007), http://www.daimi.au.dk/CPNtools
15. 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)
16. Dousson, C., Le Maigat, P.: Improvement of chronicle-based monitoring using temporal focalization and hierarchization. In: The International Workshop on Principles of Diagnosis (2006)
17. Genc, S., Lafortune, S.: Distributed Diagnosis of Place-Bordered Petri Nets. IEEE Trans. on Automation Science and Engineering 4(2), 206-219 (2007)
18. 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)
19. IEEE. IEEE standard for modeling and simulation (M & S) High Level Architecture (HLA)-Object Model Template (OMT) specification (2001)
20. Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 1, 2, 3. Springer, London (1995)
21. Katoen, J.-P.: Causal Behaviours and Nets. In: DeMichelis, G., D́Iaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 258-277. Springer, Heidelberg (1995)
22. Khansa, W.: Réseaux de Petri p-temporels: contribution à l'étude des systèmes à évènements discrets. PhD thesis, Université de Savoie (1997)
23. Klaudel, H., Pommereau, F.: M-nets: a survey. Acta Informatica (2008)
24. 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)
25. Merlin, P.: A study of the recoverability of computer system. PhD thesis, Université de Californie à Irvine (1974)
26. Mulyar, N., van der Aalst, W.M.P.: Patterns in colored Petri nets. In: BETA Working Paper Series, Eindhoven University of Technology, Eindhoven (2005)
27. 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)
28. Ramchandi, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Net. PhD thesis, MIT (February 1974)
29. 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 (197