Technical Report No. 89--21. Leiden, The Netherlands: University, Department of Computer Science, December 1989.
Abstract: The Vector Controlled Concurrent System (VCCS) model provides a general framework for the investigation of concurrent systems. Various other models can be fitted into this framework. Among those are the concurrent systems introduced by Arnold with a rational control and the original COSY model. In this paper the relationship between these models and basic VCCS subclasses is studied. In particular the (Petri net based) VCCS subclass of Individual Token Net Controlled Systems (ITNCSs) and Arnold's model are compared. To this aim the synchronization mechanim underlying ITNCSs is related to the class of rational relations.
Keywords: net-based control; rational control; vector controlled concurrent system; rational control; rational relation; COSY; individual token net controlled system.