In: 93, Institute of Computer Science, Warsaw University of Technology: Research Report 38. 1993.
Abstract: In the paper we present some applications of the method described in part 1 of this paper for the synthesis of concurrent programs from the specification given by an information system and/or decision rules. We apply our method for examples well known in the theory of concurrency. The solutions are represented by PT-nets and SM-nets. The method allows automatically to generate an appropriate Petri net from the specification given by an information system and/or decision rules. This kind of specification can be more convenient for the designers of concurrent systems than drawing directly nets especially when they are large. The nets produced automatically by application of our method can be simplified by an application of some reduction procedures. This problem will be discussed in our next paper.