Towards Process Mining with Graph Transformation Systems

DOI10.1007/978-3-319-09108-2_17MaRDI QIDQ3192242zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(2)

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

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)