Colored Petri nets and the matrix approach

MaRDI QIDQ583902zbMATH OpenFDO

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

Publication date 1988

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

zbMATH Keywords

matricesPetri net

Mathematics Subject Classification ID

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

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

Cited in

(10)

• Exploiting colored Petri nets to decide on permutation admissibility
• Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
• scientific article; zbMATH DE number 1533828 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 1983182 (Why is no real title available?)
• scientific article; zbMATH DE number 1540512 (Why is no real title available?)
• Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
• Research on the particular subclass of a class coloured Petri nets
• Orthogonal transformations for coloured Petri nets
• scientific article; zbMATH DE number 4119637 (Why is no real title available?)

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)