The behaviour of the controlled system determines the control. This concise statement summarizes our approach to the investigation of controls. Using abstract languages to define the behaviour and subbehaviour of a system, ...

Petri nets are considered where the firings are controled by finite automata. The control may be distributed to different automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole ...

Introduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action ...

Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls are often favored for fast reactions to the ...