scientific article

zbMATH Open0607.68043MaRDI QIDQ3746895

A. D. Zakrevskij

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

logical equationsdeadlockstrapsternary matricesfree-choice Petri nets

Mathematics Subject Classification ID

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

Related Items (1)

Necessary and sufficient liveness condition of GS³PR Petri nets

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 Q3746895)