Abstract
A model of concurrent systems, called Vector Controlled Concurrent Systems, is introduced. It generalizes the vector synchronization mechanism used in path expressions (COSY). In this first part of the paper, which consists of two parts, the basic model is introduced and motivated, and then a distinction is made between static and dynamic submodels.
Get full access to this article
View all access options for this article.