CERNETCHI, Maxim; NASTAS, Corneliu; CARA, Alexandr; CRUCERESCU, Vladislav
(Universitatea Tehnică a Moldovei, 2023)
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 ...