research
∙
10/30/2022
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Trading systems are software platforms that support the exchange of secu...
share
research
∙
12/30/2021
Soundness in Object-centric Workflow Petri Nets
Recently introduced Petri net-based formalisms advocate the importance o...
research
∙
10/18/2021
Modeling MOOC learnflow with Petri net extensions
Modern higher education takes advantage of MOOC technology. Modeling an ...
research
∙
03/16/2020
