Che cosa è uno stato simbolico e in quale contesto viene utilizzato?

Viene utilizzato nell'ambito di analisi di raggiungibilità temporale e permette di rappresentare un inisieme di possibili stati con lo stesso numero di gettoni in ciascun posto. è caratterizzato dalla tupla: - mu : marcatura simbolica - C : sistema di vincoli che rappresentano le relazioni tra gli identificatori simbolici dei gettoni