Orthogonal transformations for coloured Petri nets

DOI10.1007/3-540-63139-9_50zbMATH Open1510.68051MaRDI QIDQ6487385FDOQ6487385

Authors: Eike Best, Thomas Thielke 

Publication date: 9 December 2022

Recommendations

• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
• A formal framework for Petri net class transformations
• scientific article; zbMATH DE number 3905851
• scientific article; zbMATH DE number 2155180
• Colored Petri nets and the matrix approach

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri nets and algebraic specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• A class of composable high level Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
• Transformations in Reconfigurable Place/Transition Systems

This page was built for publication: Orthogonal transformations for coloured Petri nets

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