Jakub Kovár

According to our database, Jakub Kovár authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.

Robin Bergenthum, Jakub Kovár, Nico Lueg

Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Token Trail Semantics II - Petri Nets And Their Net Language.

Jakub Kovár, Robin Bergenthum

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

ILP² Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.

Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.

Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

A First Glimpse at Petri Net Regions.

Robin Bergenthum, Jakub Kovár

Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), 2022

2021

Petriflow language and Netgrif Application Builder.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic

Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Netgrif Application Engine.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic

Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Collecting Structured Logs of Instances as Process Nets in Petriflow Language.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021