. "PAT"@en . "3.5.1" . . . . . "PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator."@en . . . . . . . . . .