| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 420.18 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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.
Description
Keywords
UML Petri Nets Research UML diagrams Model transformation
Citation
Vidal; Larissa; Benito, Franck; Fernandes, José Eduardo (2023). Feasibility study of the use of petri nets in the verification of UML diagrams. In Multidisciplinary International Conference of Research Applied to Defense and Security (MICRADS’22). Cham: Springer, p. 29-38. ISBN 978-981197688-9
Publisher
Springer