Domain specific language for Petri Nets
Închide
Articolul precedent
Articolul urmator
170 0
SM ISO690:2012
CERNETCHI, Maxim, NASTAS, Corneliu, CARA, Alexandr, CRUCERESCU, Vladislav. Domain specific language for Petri Nets. In: Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor, 5-7 aprilie 2023, Chișinău. Chișinău, Republica Moldova: Tehnica-UTM, 2023, Vol.1, pp. 166-170. ISBN 978-9975-45-828-3..
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor
Vol.1, 2023
Conferința "Conferinţa tehnico-ştiinţifică a studenţilor, masteranzilor şi doctoranzilor"
Chișinău, Moldova, 5-7 aprilie 2023

Domain specific language for Petri Nets


Pag. 166-170

Cernetchi Maxim, Nastas Corneliu, Cara Alexandr, Crucerescu Vladislav
 
Technical University of Moldova
 
 
Disponibil în IBN: 22 septembrie 2023


Rezumat

This scientific paper presents the development of a Domain Specific Language (DSL) for Petri nets, a formalism used for modeling concurrent systems. The DSL provides an intuitive syntax for modeling Petri nets, which enables domain experts to design and analyze complex systems without the need for formal training in the underlying theory. The paper outlines the syntax and semantics of the DSL and demonstrates its applicability through a set of case studies. The results show that the DSL improves the productivity and efficiency of the modeling process and makes the analysis of Petri nets more accessible to a wider audience. The paper concludes with a discussion of the benefits and limitations of the DSL and its potential for future research and development in the field of Petri nets.

Cuvinte-cheie
Petri nets, transitions, places, token, DSL