Workshop on Petri Nets and Graph Transformations

DOI10.1007/978-3-540-87405-8_34MaRDI QIDQ3540422zbMATH OpenOpenAlexFDO

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

• 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
• 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?)
• 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)