P-UMLaut gestattet den Anwendern, UML 2.0-Sequenzdiagramme in semantisch äquivalente Petri-Netze zu transformieren. Diese Petri-Netze können dann mit dem mitgelieferten PN-Simulator, der von PEP abstammt, simuliert oder mit einem beliebigen Programm, das mit Petri-Netzen auf hoher Ebene arbeiten kann, bedient werden. Indem man verschiedene Realms in die Simulation mit Hilfe eines Event-Filters einfügt, kann man die modellierte Welt ansehen und mit ihr auf verschiedene Arten interagieren. Ein 3D-Animationsmodul wird ebenso mitgeliefert wie zwei Beispiele, die die vollständige Toolchain nutzen. (hjb)