Colored Petri nets and the matrix approach

zbMATH Open0692.68052MaRDI QIDQ583902FDOQ583902

Authors: V. K. Belikov, Ya. F. Rutner 

Publication date: 1988

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 4119637
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 107927
• The practitioner's guide to coloured Petri nets.
• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets

zbMATH Keywords

matricesPetri net

Mathematics Subject Classification ID

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

Cited In (10)

• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
• Title not available (Why is that?)
• Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploiting colored Petri nets to decide on permutation admissibility
• Research on the particular subclass of a class coloured Petri nets
• Title not available (Why is that?)
• Orthogonal transformations for coloured Petri nets

This page was built for publication: Colored Petri nets and the matrix approach

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