Result Details

On the Object Oriented Petri Nets Model Transformation into Java Programming Language

KOČÍ, R. On the Object Oriented Petri Nets Model Transformation into Java Programming Language. ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2024. p. 38-42. ISBN: 978-1-68558-194-7.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Abstract

Nowadays, high-level languages and approaches to software design and implementation are often used. The main reasons for this are the possibility of faster and more efficient design and more efficient verification of the design produced. To deploy a system created in this way, either a framework can be used to handle the formalism used or the design can be transformed into a programming language or lower-level formalism. In this paper, we focus on the Object Oriented Petri Net (OOPN) formalism and introduce the idea of  transforming OOPN models into the Java programming language.

Keywords

Object Oriented Petri Nets, model transformation, Java

URL
Published
2024
Pages
38–42
Proceedings
ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances
Conference
The Nineteenth International Conference on Software Engineering Advances
ISBN
978-1-68558-194-7
Publisher
Xpert Publishing Services
Place
Venice
BibTeX 
@inproceedings{BUT196702,
  author="Radek {Kočí}",
  title="On the Object Oriented Petri Nets Model Transformation into Java Programming Language",
  booktitle="ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances",
  year="2024",
  pages="38--42",
  publisher="Xpert Publishing Services",
  address="Venice",
  isbn="978-1-68558-194-7",
  url="https://www.thinkmind.org/library/ICSEA/ICSEA_2024/icsea_2024_1_90_10053.html"
}
Projects
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
Research groups
Intelligent Systems Research Group (RG INTSYS)
Departments
Department of Intelligent Systems (DITS)
Back to top