Laboratorio di Informatica Reti di Petri · v0.4.0 beta

Reti di Petri

Crea una rete di Petri, simula gli scatti ed esplora il grafo delle marcature raggiungibili.

Parametri e costruzione

Esempi cliccabili

Editor visuale condiviso

SVG

Simulazione

Su telefono puoi scorrere orizzontalmente il diagramma o spostare la vista con Mano.

Scegli uno strumento e tocca il diagramma. Per collegare due nodi, tocca prima il nodo di partenza e poi quello di arrivo. Trascina un nodo con Seleziona; trascina lo sfondo con Mano.