Verification of random graph transformation systems

DOI10.1016/J.ENTCS.2007.04.017MaRDI QIDQ2867889zbMATH OpenOpenAlexFDO

Authors Vitali Kozioura

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.04.017

zbMATH Keywords

Petri net\textsc{Augur}random graph transformation

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Towards the Verification of Attributed Graph Transformation Systems
• scientific article; zbMATH DE number 2090850
• Probabilistic graph transformation systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Sound and complete abstract graph transformation

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 2016064 (Why is no real title available?)
• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• A framework for the verification of infinite-state graph transformation systems
• scientific article; zbMATH DE number 2090850 (Why is no real title available?)
• Towards the Verification of Attributed Graph Transformation Systems

Describes a project that uses

Uses Software

• Augur 2

This page was built for publication: Verification of random graph transformation systems

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