Feasibility Study of The Use of Petri Nets In The Verification of Uml Diagrams

The UML is the standard language used in the systems modeling, and it describes the structure and the behavior of the software. Petri Net is a type of bipartite and oriented graph that enables the modeling, analysis, simulation, and control of discrete event systems. Many authors mapping the UML diagrams in a Petri Net model, enabling an analysis to improve the software architecture. This paper presents the research to support the realization of an analysis model from a UML diagram mapping into a Petri net. The purpose of the research was to verify which are the UML diagrams and which types of Petri nets are used together.