Petri Nets

• Using translucent activity relationships frequencies to enhance process discovery

  2025 Process Science article Business, Management and Accounting Business Process Modeling and Analysis Open access

  3

  citations
• Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics

  2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access

  7

  citations
• Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

  2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

  14

  citations
• Analyzing Data Streams from Cyber-Physical-Systems: A Case Study

  2024 SN Computer Science article Business, Management and Accounting Business Process Modeling and Analysis Open access

  8

  citations
• Analyzing Behavior in Cyber-Physical Systems in Connected Vehicles: A Case Study

  2024 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  4

  citations
• Improving Process Discovery Using Translucent Activity Relationships

  2024 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  4

  citations
• Model-Driven Engineering of Process-Aware Information Systems

  2022 SN Computer Science article Computer Science Model-Driven Software Engineering Techniques Open access

  17

  citations
• Enhanced Transformation of BPMN Models with Cancellation Features

  2022 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  1

  citations
• Introduction

  2022 Studies in computational intelligence book-chapter Computer Science Formal Methods in Verification

  0

  citations

9 results