Workshop on Petri Nets and Graph Transformations

DOI10.1007/978-3-540-87405-8_34MaRDI QIDQ3540422zbMATHOpenAlexFDO

Authors Paolo Baldan, Barbara König

Publication date 20 November 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_34

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 749804
• Grammar Morphisms and Weakly Adhesive Categories
• scientific article; zbMATH DE number 1231483
• Concurrent graph and term graph rewriting

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 2016085 (Why is no real title available?)
• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A congruence for Petri nets
• Algebraic high-level net transformation systems
• ESM systems and the composition of their computations
• Explicit State Model Checking for Graph Grammars
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• Graph Transformations
• Lectures on Concurrency and Petri Nets
• On the semantics of place/transition Petri nets
• Parallelism and concurrency in high-level replacement systems
• Termination Analysis of Model Transformations by Petri Nets
• Verification of distributed object-based systems.
• View transformation in visual environments applied to algebraic high-level nets

Cited in

(1)

• Summary of the Workshop on Natural Computing and Graph Transformations

This page was built for publication: Workshop on Petri Nets and Graph Transformations

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