ON THE DESIGN OF CONCURRENT SYSTEMS.

A restricted problem of a concurrent system design is studied. The following method based on the Petri net and Mazurkiewicz trace theories is presented. First, a functionally equivalent sequential system is designed; next, a set of independent actions is designed; finally, this sequential system is transformed into an equivalent concurrent system. All steps of this transformation are automatic. The correctness of the transformation is proved.