Abstract:
În lucrarea de faţă ne propunem, utilizînd limbajul de modelare vizual (UML), să analizăm şi să dezvoltăm un software, ce ne-ar permite modelarea şi analiza performanţelor modelelor de reaţea Petri. Cu ajutorul diagramelor cazurilor de utilizare au fost specificate cerinţele din perspectiva utilizatorului final iar prin intermediul diagramei de activităţi au fost modelate fluxurile de activităţi aşa cum sunt vazute ele de actorii care comunică cu sistemul VPNS.