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

DOI10.1007/978-3-540-87405-8_44MaRDI QIDQ3540428zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 5605140 (Why is no real title available?)
• scientific article; zbMATH DE number 177439 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Parallelism and concurrency in high-level replacement systems
• Subobject transformation systems

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)