frase ribaltata
PREMESSA: Leggo saltando qua e là... ottimo lavoro...
Vi segnalo quando le trovo errori da correggere
Parlando di come si possa scrivere rete di petri equivalente a una che usi le capacità dei posti dite che con i posti complementare è possibile risolvere i casi in cui la rete è pura (o meglio in cui tale posto non è in ingresso o uscita a una stessa transizione). Poi però quando dite come si potrebbe risolvere il problema di trattare reti non pure avete ribaltato frase:
"si cerca di dimostrare che una rete pura ha sempre un equivalente rete non pura."
in realtà dovrebbe essere:
"si cerca di dimostrare che una rete non pura ha sempre una equivalente rete pura."
Cioè dividere il problema di togliere capacità in due momenti:
- prima traduco rete da non pura a pura
- poi con i posti complementari tolgo la capacità esplicita ai posti
Edited by Carlo Bellettini