Orthogonal transformations for coloured Petri nets

DOI10.1007/3-540-63139-9_50MaRDI QIDQ6487385zbMATH OpenFDO

Authors Eike Best, Thomas Thielke

Publication date 9 December 2022

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 4035156 (Why is no real title available?)
• scientific article; zbMATH DE number 4035160 (Why is no real title available?)
• scientific article; zbMATH DE number 47135 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 977449 (Why is no real title available?)
• A class of composable high level Petri nets
• Petri nets and algebraic specifications

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)