Graph transformation for domain-specific discrete event time simulation

DOI10.1007/978-3-642-15928-2_18MaRDI QIDQ4931320zbMATH OpenOpenAlexFDO

Authors Juan de Lara, Esther Guerra, Artur Boronat, R. Heckel, Paolo Torrini

Publication date 4 October 2010

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

Full work available at URL http://hdl.handle.net/10016/19206

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2097773
• Parallel graph transformation for model simulation applied to timed transition Petri nets
• scientific article; zbMATH DE number 2016071
• Graph Transformation for Topology Modelling
• Automating the transformation-based analysis of visual languages

Cited in

(3)

• Simulation of generalised semi-Markov processes based on graph transformation systems
• scientific article; zbMATH DE number 2097773 (Why is no real title available?)
• Compositional analysis of probabilistic timed graph transformation systems

Describes a project that uses

Uses Software

• MOMENT2

This page was built for publication: Graph transformation for domain-specific discrete event time simulation

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