Workshop on Petri Nets and Graph Transformations

DOI10.1007/978-3-540-87405-8_34zbMATH Open1175.68212OpenAlexW1510674169MaRDI QIDQ3540422FDOQ3540422

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

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

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)