PAIS Laboratory intern
Khalil Mecheraoui, an Algerian intern at the Laboratory of Process-Aware Information Systems (PAIS), talks about his internship grant, his work at the laboratory, and the presentation at MACS’Pro conference.
I obtained my M.Sc. in computer science from University of Abbes Laghrour de Khenchela, Algeria, in 2016. Now, I am a PhD student at University of Constantine 2 – Abdelhamid MehriI (MISC laboratory), and Teacher at the university of M'hamed bougara, Boumerdes, Algeria. In my country, a PhD student can benefit from a training abroad program which is supported by the Ministry of Higher Education in Algeria.
I came to Moscow in December 2019. In a short amount of time I could have accomplished a conference paper with Pr. Lomazova, my co-supervisor in HSE, and Julio César Carrasquel. We submitted the paper to MACS'Pro.
MACSPro'2020 conference is intended to bring together people working on theory and practice of analysis of complex systems in different domains and industries with the goal to encourage technology transfer from cutting edge research to business critical systems. The event consists of two parts: school and conference. Both of them will be focused on the applications of mathematical modeling to complex systems observed in astrophysics, geophysics, bioinformatics, and sociology. The conference provides an opportunity for young researchers to present their work at an early stage and get feedback from experienced scholars with international reputations.
In this paper, we presented a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems and proved an important theorem.
Together with Khalil, we have been carrying out a research work on the intersection
between multi-agent systems and process mining. This subject of research is quite interesting since within the process mining literature, process instances are assumed to be executed in isolation. In contrast, we propose the use of a formal model for multi-agent systems, Lomazova's nested Petri nets, which allow to capture the behavior and interplay of agents within an environment. One result of our work has been accepted for presentation at the MACSPro conference. In such work, we present an approach for conformance checking between nested Petri nets (used to describe modeled behavior) and event logs of multi-agent systems (which encapsulate real behavior). Leveraging such approach, it is possible to analyze to which degree real behavior of agents conform to some normative specified in a model. At the moment, we are extending such work to be presented at MACSPro, and we are preparing a journal paper. Khalil is a very good and disciplined researcher on the field of Petri nets and formal methods. It has been a fruitful experience to work with him, and I hope that this joint work can be the base for successful research results, as well as it can give ground for future collaboration.
I would like to thank Pr. Lomazova for her support. Now we are working on two Journal papers. In one paper we aim to provide an experimental evaluation of our approach of conformance checking between the observed behavior in real event logs of trading systems and prescriptive models.
I started preparing the other paper when I was in Algeria. It is about an expressive modeling language that can be used to cope with the overwhelming amount of detail in concurrent and distributed system.
Click here if you are interested in an internship.