Jakub Kovár

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

Collaborative distances:

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

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