This paper presents a hardware description language which has been developed to describe concurrently operating distributed systems. The paper concentrates on the language features for describing concurrent algorithms and system-level structures. A simulation process for this language and a synthesis algorithm for the control structure of systems described by this language are presented. The mathematical model used to describe concurrent processes is the generalized Petri nets, and in order to understand the paper the reader must be well versed in Petri nets. There are sufficient examples, and the Bibliography is adequate.