scientific article
From MaRDI portal
Publication:3154377
zbMath1052.93005MaRDI QIDQ3154377
Publication date: 16 December 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement, Supervision based on place invariants: a survey, Maximally permissive supervisor synthesis based on a new constraint transformation method, Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications