A structural approach to graph transformation based on symmetric Petri nets

DOI10.1016/J.JLAMP.2021.100639MaRDI QIDQ2035652zbMATH OpenOpenAlexFDO

Authors L. Capra

Publication date 25 June 2021

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2434/847492

zbMATH Keywords

structural analysisoperational semanticsgraph transformation systemssymmetric netsdouble pushout

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Graph transformation systems: a semantics based on (stochastic) symmetric nets
• Lectures on Concurrency and Petri Nets
• A general framework for well-structured graph transformation systems
• scientific article; zbMATH DE number 1953883
• Parallel graph transformation for model simulation applied to timed transition Petri nets
• Graph-rewriting Petri nets
• Well-structured graph transformation systems
• scientific article; zbMATH DE number 1863175
• scientific article; zbMATH DE number 3905851

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3711390 (Why is no real title available?)
• scientific article; zbMATH DE number 50851 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A symbolic reachability graph for coloured Petri nets
• Algebraic approach to single-pushout graph transformation
• Applications and Theory of Petri Nets 2005
• Concurrent graph and term graph rewriting
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Fundamentals of algebraic graph transformation
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Labelled graph rewriting meets social networks
• Lectures on Concurrency and Petri Nets
• Overview of reconfigurable Petri nets
• Symbolic graphs for attributed graph constraints
• The \(\pi\)-calculus: A theory of mobile processes
• Towards the Verification of Attributed Graph Transformation Systems

Cited in

(3)

• Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
• Graph transformation systems: a semantics based on (stochastic) symmetric nets
• Delaying Constraint Solving in Symbolic Graph Transformation

This page was built for publication: A structural approach to graph transformation based on symmetric Petri nets

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