LISNIC, Inga; COJUHARI, Irina
(Technical University of Moldova, 2021)
Specification technique like Colored Petri Net (CPN) allows for the formal description and analysis of the discrete event systems. In this paper, it is presented the methodology for Context Free Grammar design, specification ...