Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions

DOI10.1007/978-3-540-87405-8_44zbMATH Open1175.68225OpenAlexW1558368779MaRDI QIDQ3540428FDOQ3540428

Authors: Frank Hermann 

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_44

Recommendations

• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• Towards Process Mining with Graph Transformation Systems
• Parallelism and concurrency of stochastic graph transformations
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Handbook of Graph Grammars and Computing by Graph Transformation
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Parallelism and concurrency in high-level replacement systems
• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Subobject transformation systems
• Title not available (Why is that?)

Cited In (1)

• Analysis of jig flow in high precision automatic adhesive manufacturing systems

This page was built for publication: Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions

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