Towards Process Mining with Graph Transformation Systems

DOI10.1007/978-3-319-09108-2_17zbMATH Open1423.68225OpenAlexW48538048MaRDI QIDQ3192242FDOQ3192242

Authors: H. J. Sander Bruggink 

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_17

Recommendations

• scientific article; zbMATH DE number 2016080
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• Graph Transactions as Processes
• A general framework for well-structured graph transformation systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
• Graph Transactions as Processes

This page was built for publication: Towards Process Mining with Graph Transformation Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192242)