@page "/"

<PageTitle>State Machine Generator</PageTitle>

<h1>State Machine Generator</h1>

Generatore di state Machine (Ingressi ed Eventi) per MAPO