Dobrze uformowana sieć Petriego

Dobrze uformowane sieci Petriego to klasa sieci Petriego opracowana wspólnie przez Uniwersytet Paryski 6 (Université P. & M. Curie) i Uniwersytet Turyński na początku lat 90.

Jest to ograniczenie sieci wysokiego poziomu (lub kolorowych sieci) wprowadzone przez K. Jensena. Główną zaletą dobrze uformowanych sieci jest pojęcie symbolicznego grafu osiągalności, który składa się ze stanów symbolicznych . Stan symboliczny to stan reprezentujący kilka konkretnych stanów w przestrzeni stanów systemu opisanego przez sieć Petriego. Tak więc można reprezentować znacznie większe przestrzenie stanów (współczynnik wzmocnienia może być wykładniczy). To pojęcie symbolicznej przestrzeni stanów wymaga, aby dostępny był tylko ograniczony zestaw operatorów (funkcje identyfikacji, rozgłaszania, następnika i poprzednika są dozwolone w okrągłych typach skończonych).

•   G. Chiola, Charakterystyka zachowania dobrze uformowanych sieci Petriego w czasie za pomocą równań występowania . Proceedings of the Sixth International Workshop on Petri Nets and Performance Models , strona 27, IEEE Computer Society , Washington DC, USA. ( ISBN 0-8186-7210-2 .)