Jakub Kovář
Foto:
Hardy Welsch
E-Mail: jakub.kovar
Telefon: +49 2331 987-4782
Raum: G310, 3. Etage, Gebäude 3 (IZ)
Publikationen: DBLP
Forschungsschwerpunkte
- Softwaremodellierung
- Modellbasiertes Software Engineering
- Geschäftsprozessmodellierung
- Petri Netze
Publikationen
Konferenzbandbeiträge
Gabriel Juhás, Milan Mladoniczky, Juraj Mažári, Tomáš Kováčik, Ľuboš Petrovič and Jakub Kovář. Reuniting Data, Processes, and Forms: Petriflow Object-Centric Processes in the Age of AI. In Proceedings of ICETA 2025, 290-298, IEEE 2025. [DOI]
Robin Bergenthum and Jakub Kovář. Synthesizing Petri Nets from Labelled Petri Nets. In Proceedings of PETRI NETS 2025, Lecture Notes in Computer Science 15714, 63-85, Springer 2025. [DOI]
Jakub Kovář and 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, Springer 2024. [DOI]
Robin Bergenthum, Sabine Folz-Weinstein and Jakub Kovář. Token Trail Semantics - Modeling Behaviour of Petri Nets with Labeled Petri Nets. In Proceedings of PETRI NETS 2023, Lecture Notes in Computer Science 13929, 286-306, Springer 2023. [DOI]
Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel and 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, Springer 2023. [DOI]
Workshopbeiträge
Julius Köpke, Robin Bergenthum and Jakub Kovář. KI und BPM als Enabler der Digitalisierung in der Verwaltung. In Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with STAF 2025, CEUR Workshop Proceedings 4122, 2025. [.pdf]
Robin Bergenthum, Jakub Kovář and Nico Lueg. Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. In Proceedings of Modellierung 2024 Satellite Events, 2024. [DOI]
Robin Bergenthum and 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. [.pdf]
Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec and Ľuboš Petrovič. Netgrif Application Engine. In Proceedings of Demonstration & Resources Track at BPM 2021, CEUR Workshop Proceedings 2973, 166-170, 2021. [.pdf]
Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec and Ľuboš Petrovič. Petriflow language and Netgrif Application Builder. In Proceedings of Demonstration & Resources Track at BPM 2021, CEUR Workshop Proceedings 2973, 171-175, 2021. [.pdf]
Gabriel Juhás, Tomáš Kováčik, Jakub Kovář and Martin Kranec. Collecting Structured Logs of Instances as Process Nets in Petriflow Language. In Proceedings of PNSE 2021 co-located with PETRI NETS 2021, CEUR Workshop Proceedings 2907, 105-122 2021. [.pdf]
