Reconciling qualitative, abstract, and scalable modeling of biological networks

Autor: Loïc Paulevé, Juri Kolčák, Thomas Chatain, Stefan Haar

Publikováno v: Nature Communications, Vol 11, Iss 1, Pp 1-7 (2020)

Abstract Predicting biological systems’ behaviors requires taking into account many molecular and genetic elements for which limited information is available past a global knowledge of their pairwise interactions. Logical modeling, notably with Boo

Externí odkaz: https://doaj.org/article/b334f95a292b43fca9da83ea0ae7f1a2

Avoiding Shared Clocks in Networks of Timed Automata

Autor: Sandie Balaguer, Thomas Chatain

Publikováno v: Logical Methods in Computer Science, Vol Volume 9, Issue 4 (2013)

Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions of one automaton may be guarded by conditions on the value of clocks re

Externí odkaz: https://doaj.org/article/e91b3fcecdec4e06b38b93e8341bcfb2

Timed Alignments

Autor: Thomas Chatain, Neha Rino

Publikováno v: 2022 4th International Conference on Process Mining (ICPM)
2022 4th International Conference on Process Mining (ICPM), Oct 2022, Bolzano, Italy. pp.112-119, ⟨10.1109/ICPM57379.2022.9980687⟩

International audience; The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ff120014368c4911f5053ef6696ebf6
http://arxiv.org/abs/2207.01870

Model-based trace variant analysis of event logs

Autor: Thomas Chatain, Mathilde Boltenhagen, Josep Carmona

Publikováno v: Information Systems
Information Systems, Elsevier, 2020, pp.101675. ⟨10.1016/j.is.2020.101675⟩
Information Systems, 2020, pp.101675. ⟨10.1016/j.is.2020.101675⟩
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

The comparison of trace variants of business processes opens the door for a fine-grained analysis of the distinctive features inherent in the executions of a process in an organization. The current approaches for trace variant analysis do not conside

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::870f04eaf339c4cb0e5958a77459b6be
https://hdl.handle.net/2117/336364

Anti-alignments—Measuring the precision of process models and event logs

Autor: Mathilde Boltenhagen, Josep Carmona, Thomas Chatain

Publikováno v: Information Systems
Information Systems, Elsevier, 2021, 98, pp.101708. ⟨10.1016/j.is.2020.101708⟩
Information Systems, Elsevier, 2021
Information Systems, 2021, ⟨10.1016/j.is.2020.101708⟩
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Processes are a crucial artifact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyze the underlying processes is a well-known practice. However, due to the compl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21a0072a8396abdabc102f9285dfab15
https://hal.inria.fr/hal-03132544