A structural approach to graph transformation based on symmetric Petri nets
From MaRDI portal
Publication:2035652
DOI10.1016/J.JLAMP.2021.100639OpenAlexW3119341763MaRDI QIDQ2035652FDOQ2035652
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
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
- Title not available (Why is that?)
- Handbook of Graph Grammars and Computing by Graph Transformation
- Title not available (Why is that?)
- The \(\pi\)-calculus: A theory of mobile processes
- Title not available (Why is that?)
- Lectures on Concurrency and Petri Nets
- Handbook of Graph Grammars and Computing by Graph Transformation
- Title not available (Why is that?)
- Fundamentals of algebraic graph transformation
- Towards the Verification of Attributed Graph Transformation Systems
- Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
- Symbolic graphs for attributed graph constraints
- A symbolic reachability graph for coloured Petri nets
- Title not available (Why is that?)
- Algebraic approach to single-pushout graph transformation
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Concurrent graph and term graph rewriting
- Overview of reconfigurable Petri nets
- Labelled Graph Rewriting Meets Social Networks
- Applications and Theory of Petri Nets 2005
Cited In (2)
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)
