Clustering for Petri nets

DOI10.1016/S0304-3975(02)00597-2zbMath1068.68094MaRDI QIDQ1884880

Walter Keller

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

ClusteringPetri netsSemanticsCategory theoryStructureBehaviourFolding

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for concurrency: Towards a classification
• Branching processes of Petri nets
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Observing behaviour categorically
• PETRI NETS AND STEP TRANSITION SYSTEMS
• On the semantics of place/transition Petri nets
• Handbook of Graph Grammars and Computing by Graph Transformation
• Rule-based refinement of high-level nets preserving safety properties

This page was built for publication: Clustering for Petri nets