Jakub Kovář

Foto: Hardy Welsch

E-Mail: jakub.kovar

Telefon: +49 2331 987-4782

Raum: G12, 3. Etage, Gebäude 3 (IZ)

Publikationen: DBLP

Forschungsschwerpunkte

Betreuung von Modulen

Publikationen

Konferenzbandbeiträge

1. Jakub Kovář; Robin Bergenthum: „Token Trail Semantics II - Petri Nets And Their Net Language“, in Proceedings of PETRI NETS 2024, Lecture Notes in Computer Science 14628: 175-196
2. Sabine Folz-Weinstein; Robin Bergenthum; Jörg Desel; Jakub Kovář: „ILP² Miner – Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming“, in Proceedings of PETRI NETS 2023, Lecture Notes in Computer Science 13929: 59-76 (2023)
3. Robin Bergenthum; Sabine Folz-Weinstein; Jakub Kovář: „Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets“, in Proceedings of PETRI NETS 2023, Lecture Notes in Computer Science 13929, 286-306, Springer 2023.

Konferenzen und Workshops

1. Robin Bergenthum; Jakub Kovář; Nico Lueg: „Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten“, in Proceedings of Modellierung 2024 Satellite Events (2024)
2. Robin Bergenthum; Jakub Kovář: „A First Glimpse at Petri Net Regions“, in Proceedings of ATAED 2022 co-located with PETRI NETS 2022, CEUR Workshop Proceedings 3167: 60-68 (2022)
3. Gabriel Juhás; Jakub Kovář; ; Martin Kranec: „Collecting Structured Logs of Instances as Process Nets in Petriflow Language“, in in Petriflow Language, Proceedings of PNSE 2021 co-located with PETRI NETS 2021, CEUR Workshop Proceedings 2907: 105-122 (2021)
4. Gabriel Juhás; Jakub Kovář; ; Martin Kranec; Ľuboš Petrovič: „Netgrif Application Engine“, in Proceedings of Demonstration & Resources Track at BPM 2021, CEUR Workshop Proceedings 2973: 166-170 (2021)
5. Gabriel Juhás; Tomáš Kováčik; ; Martin Kranec; Ľuboš Petrovič: „Petriflow language and Netgrif Application Builder“, in Proceedings of Demonstration & Resources Track at BPM 2021, CEUR Workshop Proceedings 2973: 171-175 (2021)