Файл:Petri net.png: различия между версиями