POSES++

POSES++ is a simulation and development system modelling extreme big net models (limited only by hardware) with rules derived from the C programming language.
Environment:
Poses++ Server: SUN Solaris 2.3 or higher, DEC OSF1 V3.0 or higher, coming soon: Linux, Windows NT (Windows95 maybe); further: Gnu C++ Compiler (>=2.7.0), GNU make (>=3.74)
Poses++ IDE: Windows3.1 or higher; further: WINSOCK.DLL (e.g. Trumpet Winsock)
Origin:
Gesellschaft für Prozeßautomation & Consulting mbH (GPC), Chemnitz, Germany
Kind of Nets supported:
C/E, P/T, CPN, Pr/T, Transition-Timed/Arc-Timed Petri Nets and Modular Petri Nets, queue access for predicates, boolean and time expressions for arcs, priorities and parallelism for transitions
Functionalities:
Availability:
References:

Tool List Home