Formal relationship between graph grammars and Petri nets

DOI10.1007/3-540-61228-9_94MaRDI QIDQ4645283zbMATH OpenOpenAlexFDO

Authors Martin Korff, Leila Ribeiro

Publication date 10 January 2019

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

Full work available at URL https://doi.org/10.1007/3-540-61228-9_94

zbMATH Keywords

graph transformationgraph grammarattribution functionderivation stepsequential derivation

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

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 3846890
• scientific article; zbMATH DE number 1231483
• scientific article; zbMATH DE number 3909750
• scientific article; zbMATH DE number 3890743

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3711390 (Why is no real title available?)
• scientific article; zbMATH DE number 3711391 (Why is no real title available?)
• scientific article; zbMATH DE number 50851 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 177420 (Why is no real title available?)
• scientific article; zbMATH DE number 3624774 (Why is no real title available?)
• scientific article; zbMATH DE number 10083 (Why is no real title available?)
• scientific article; zbMATH DE number 1418813 (Why is no real title available?)
• Algebraic approach to single-pushout graph transformation
• Algebraic high-level net transformation systems
• On categorical graph grammars integrating structural transformations and operations on labels
• Petri nets and algebraic specifications
• Petri nets are monoids
• System modelling with high-level Petri nets

Cited in

(7)

• scientific article; zbMATH DE number 3909750 (Why is no real title available?)
• scientific article; zbMATH DE number 4062633 (Why is no real title available?)
• Graph-token Petri nets
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2087495 (Why is no real title available?)
• scientific article; zbMATH DE number 3846890 (Why is no real title available?)
• scientific article; zbMATH DE number 3890743 (Why is no real title available?)

This page was built for publication: Formal relationship between graph grammars and Petri nets

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