W. J. Fokkink

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional coordinator synthesis of extended finite automata

M. A. Goorden and others (2021) · Springer Science and Business Media LLC

CIF3 models used in the T-AC 2019 paper

M. A. Goorden and others (2019) · url: https : //github

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure

M. A. Goorden and others (2019) · IEEE

Model-based design of supervisory controllers for baggage handling systems

L. Swartjes and others (2017) · Elsevier BV

Maximally permissive controlled system synthesis for non-determinism and modal logic

A. C. van Hulst and others (2017) · Springer Science and Business Media LLC

CIF 3: Model-Based Engineering of Supervisory Controllers

D. A. van Beek and others (2014) · Springer Berlin Heidelberg