scientific article

zbMath0663.68071MaRDI QIDQ3814819

G. De Michelis, C. Simone, Fiorella de Cindio, Lucia Pomello

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent systemselementary net systemsexhibited functionality equivalenceglobal states transformations

Mathematics Subject Classification ID

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

Related Items (2)

Functional equivalences of Petri nets ⋮ An algebraic characterisation of elementary net system (observable) state space

This page was built for publication: