Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams Chapter Conference Paper uri icon

abstract

  • The UML is the standard language used in the systems modelling, and it describes the structure and the behaviour of the software. Petri net is a type of bipartite and oriented graph that enables the modelling, 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.

publication date

  • 2023