• Aucun résultat trouvé

Learning Real-Time Automata from Multi-Attribute Event Logs

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Learning Real-Time Automata from Multi-Attribute Event Logs"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Learning Real-Time Automata from Multi-Attribute Event Logs

Stefan Kramer

Technische Universität München, Germany

Abstract

Network structures often arise as descriptions of complex temporal phenomena in science and industry. Popular representation formalisms include Petri nets and (timed) automata. In process mining, the induction of Petri net models from event logs has been studied extensively. Less attention, however, has been paid to the induction of (timed) automata outside the field of grammatical inference.

In the talk, I will present work on the induction of timed automata and show how they can be learned from multi-attribute event logs. I will present the learning method in some detail and give examples of network inference from synthetic, medical and biological data.

Références

Télécharger maintenant ( PDF - 1 Page - 14.71 KB )

Documents relatifs

Learning semantic models from event logs

We used process mining algorithms to extract the process model from the event logs, clustering algorithms to divide the logs to subgroups based on common behavior of users and

Discovery of Functional Architectures From Event Logs

Based on event logs, this paper presents an approach (1) to derive the information flows between features, (2) identify the internal behav- ior of features, and (3) to discover

Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs

Keywords: multi-agent systems, event logs, process discovery, Petri nets, composition, morphisms, interaction patterns..

POMElog: Generating Event Logs from Unplugged Processes

This paper presented POMElog, a tool to generate event logs from unplugged processes, i.e., processes that are not supported by an information system, but that could benefit from

A Tool for Generating Event Logs from Multi-Perspective Declare Models

MP-Declare Log Generator is a tool for the generation of event logs starting from Multi-Perspective Declare models, a language for expressing declarative constraints on both

An Event Calculus Formalization of Timed Automata

With the goal of establishing a common underlying logic language as a support for those model checking techniques, this work focuses on explaining how (Discrete) Timed Automata can

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms

System event logs are projected on each agent to discover component models in terms of workflow nets by using existing process discovery algorithms.. By means of morphisms, we

Capturing Resource Behaviour From Event Logs

Given the critical im- portance of resources in the light of continuous process improvement, this paper extends the process metrics framework towards the resource perspective..