Autor der Publikation

Multilevel modelling of coloured petri nets.

, , , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 663-672. CEUR-WS.org, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multimodel correspondence through inter-model constraints., , , und . Programming, Seite 9-17. ACM, (2018)Multilevel modelling of coloured petri nets., , , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 663-672. CEUR-WS.org, (2018)Model Checking Healthcare Workflows Using Alloy., und . EUSPN/ICTH, Volume 37 von Procedia Computer Science, Seite 481-488. Elsevier, (2014)Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms., , und . Trans. Petri Nets Other Model. Concurr., (2021)A GraphQL approach to Healthcare Information Exchange with HL7 FHIR., , , , und . EUSPN/ICTH, Volume 160 von Procedia Computer Science, Seite 338-345. Elsevier, (2019)The Visual Debugger: Past, Present, and Future., , , und . CoRR, (2024)A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems., , , und . CoRR, (2023)Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour., , , , und . CoRR, (2019)Model Repair with Quality-Based Reinforcement Learning., , , und . J. Object Technol., 19 (2): 17:1-21 (2020)A User-friendly Tool for Model Checking Healthcare Workflows., , , und . EUSPN/ICTH, Volume 21 von Procedia Computer Science, Seite 317-326. Elsevier, (2013)