scientific article; zbMATH DE number 4201654

MaRDI QIDQ3350790zbMATH OpenFDO

Authors V. M. Nazaretov, A. V. Kul'Ba, A. R. Shvetsov, I. M. Makarov

Publication date 1988

zbMATH Keywords

boundednesslivenessPetri nets with multicolor markerspreservabilitysafety

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 4119637
• Colored Petri nets and the matrix approach
• scientific article; zbMATH DE number 3982529
• scientific article; zbMATH DE number 4213468

This page was built for publication:

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