ALGORITHM OF AUTOMATIC CONVERSION OF THE ACTIVITY DIAGRAM INTO PETRI-NET STRUCTURE FORMATS
To develop high quality software it is proposed to apply design tools, namely UML diagrams, for modeling systems and Petri nets for the analysis of the obtained diagrams. Since the translation between diagrams and nets is done manually, there is a need in automatic conversion. It is proposed to carry out this procedure by using a similar format structure in which UML activity diagrams and Petri nets can be saved. To carry out correct conversion, requirements for design diagrams i.e. setting such a name structure which will make it possible to transmit the necessary data for the translation into the Petri net are stated. In addition, similar entities between which the exchange of information such as places, transitions and relationship between them are given. The rules by which the conversion occurs are presented in an algorithmic form, which facilitates their formalization. The conversion algorithm by similar formats is given by the example of the activity diagram and Petri nets which contain a set of the given rules. Since these rules are basic for modeling diagrams of any complexity, the proposed algorithm can be used for the design and analysis of most systems.