Hierarchical UML activity diagrams into control interpreted petri nets transformation

The paper presents bi-directional transformation of two hierarchical hardware behavior description diagrams - UML Activity Diagrams and Control Interpreted Petri Nets. The transformation rules covers representation of UML complex activities by means of Petri Net macroplaces and macrotransitions. Bi-directional transformation ensures fully efficient cooperation of designers teams working with both mentioned technologies. Additionally, transformation of UML Activity Diagrams enables use of various analysis, verification and synthesis techniques available for Petri Nets, which is especially important considering safe reconfigurable logic controllers.