View article

O. Introduction. Concurrent systems are more difficult to design and analyse than sequential ones because they can exhibit extremely complicated behaviour. Furthermore it is very difficult to comprehend the total effect of actions being performed concurrently and with independent speeds. In practice, when a problem is complicated itself then the first solution is frequently sequential, and only next solutions are concurrent. This is almost a standard procedure in the case of technological processes. In papers~ S1, JSl~ a method for developing a concurrent~ ystem from a functionally equivalent sequential system was suggested. In this paper we extend the ideas of [JS1, JSla] and apply them to the COSY Formalism proposed by Peter Lauer's group~ SCSI, LSB79, L82]. The method consists in starting with the sequential system, determining a set of independent actions (by means of so called abstract resources), and …