In: Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf., Vol. 13, No. 3, pages 275-316. 1990.
Abstract: This Part I of the authors' research on Vector Controlled Concurrent Systems (VCCS) (generalizing the path expressions mechanism of COSY) contains mostly a motivation and main definitions. A VCCSS consists of a fixed number of sequential (nondeterministic) components and a global synchronization mechanism (controller). Any component is represented by a formal language with letters representing actions. The controller is represented by a language C over an alphabet A consisting of n-dimensional vectors. Three subclasses of VCCS's are distinguished. In the first one C=A* (interpreted as static synchronization). In the two other cases synchronization vectors may depend on history and are defined by coloured Petri nets or depend on states of individual sequential components.
Keywords: vector controlled concurrent system; path expression; COSY; global synchronization; history dependency; coloured net.