Simulating algebraic high-level nets by parallel attributed graph transformation

DOI10.1007/978-3-540-31847-7_4MaRDI QIDQ5710424zbMATH OpenOpenAlexFDO

Authors Roswitha Bardohl, Claudia Ermel, Gabriele Taentzer

Publication date 2 December 2005

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

Full work available at URL https://doi.org/10.1007/b106390

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

• Algebraic high-level net transformation systems
• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• Algebraic high level nets. Petri nets revisited
• scientific article; zbMATH DE number 446837
• Parallel graph transformation for model simulation applied to timed transition Petri nets

Cited in

(5)

• Parallel graph transformation for model simulation applied to timed transition Petri nets
• Extended triple graph grammars with efficient and compatible graph translators
• scientific article; zbMATH DE number 446837 (Why is no real title available?)
• Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
• Algebraic high-level net transformation systems

Describes a project that uses

Uses Software

• GenGED
• AGG

This page was built for publication: Simulating algebraic high-level nets by parallel attributed graph transformation

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