Raport z analizy powinien zawierać:
• opis systemu,
• model systemu przy użyciu Sieci Petriego, z opisem (co oznaczają miejsca, przejścia),
• wyznaczenie właściwości stworzonej sieci,
• graf pokrycia/ graf osiągalności,
• analiza systemu i możliwych problemów pod kątem właściwości sieci,
• ewentualne wprowadzenie poprawek do systemu,
• podsumowanie.
Raport z analizy powinien zawierać: • opis systemu, • model systemu przy użyciu Sieci Petriego, z opisem (co oznaczają miejsca, przejścia), • wyznaczenie właściwości stworzonej sieci, • graf pokrycia/ graf osiągalności, • analiza systemu i możliwych problemów pod kątem właściwości sieci, • ewentualne wprowadzenie poprawek do systemu, • podsumowanie.