Poses ++
| Poses ++ | |
|---|---|
| Basic data
|
|
| developer | GPC mbH |
| Current version | Poses ++ 2.1 (2009) |
| operating system | Linux , Windows |
| category | Event-oriented simulation , Petri net |
| License | proprietary , with a free version limited to one model size |
| German speaking | No |
| Poses ++ | |
Poses ++ is a software system for the modeling and simulation of any discrete, discontinuous processes and belongs to the event-oriented simulation . The name poses ++ was formed from the designation P rädikat / transition net O rien patented S imulations- and E ntwurfs S ystem, wherein a predicate / transition network to the kompliziertesten Petri nets belongs, the complex in its dynamic data by means of QL transformed. For example, algorithms, hardware and software systems, processes of all kinds, systems from production and logistics, but also organizational and social problems can be investigated by simulation.
Modeling
A predicate / transition net is an attributed Petri net , the data of which is located as markers with simple or structured data types in predicates and is changed by transitions with edges that can be labeled in a complex manner. Many simpler graph theoretic approaches such as the state graph or the queuing theory and all simpler Petri nets can be viewed and also modeled as a special case of a predicate / transition network.
This rule-based modeling enables Poses ++ with an object-oriented modeling language belonging to the declarative programming languages, with which sub-functions encapsulated in modules can be developed and used comparable to classes in C ++ . An object hierarchy is created by instantiating such modules . For the simulation, the user selects such a module and declares it to be a model, which automatically results in the number of predicates and transitions involved.
As an example, the predicate / transition network of a simplified switching valve for a medium ( pneumatics , hydraulics ) is shown, which makes available input pressure according to its switching status as output pressure .
Functionality
The software components belonging to Poses ++ form a client / server environment. The actual simulation calculation is carried out by a task called the simulation server. For this purpose, the Poses ++ models are translated into suitable C ++ source text by a system's own compiler , which is transformed into dynamically loadable binary code using one of the supported C ++ compilers in the form of a DLL or a shared library, depending on the operating system, and ultimately by a simulation server loaded at the request of a client. A selected module for the model is instantiated there. Various client components are available for the development process, the implementation and evaluation of experiments and their visualization. All Poses ++ components communicate with each other via TCP / IP and UDP, even if they are used locally on only one computer. The communication interfaces, which almost consistently also integrate the Tcl script language , are fully documented. In addition, the software offers interfaces in C ++ and Delphi for developing your own client applications .
The runtime of Poses ++ models scales linearly with the model size. Doubling the size of a model by a module in a higher-level module , independently from each other instantiated twice required poses ++ after a short learning period immediately after the experiment start almost exactly twice the computation time. Since in practical models the level of detail often increases with the size of the model, and thus the dependencies in the underlying graph are described more finely, it is not unusual for Poses ++ that the computing time required grows less than linearly.
This property and the implementation of the models in runtime-efficient binary code enable particularly complex tasks and real-time simulations with a high level of detail in the models.
application
Poses ++ is used as a classic simulation tool for the simulative investigation, evaluation and optimization of various systems. Poses ++ has also been used very successfully as a real-time simulation system in combination with Matlab / Simulink in a hybrid simulation environment (discrete, discontinuous Poses ++ models coupled with continuous Matlab models) in order to implement complex automation technology (control hardware and software) instead of on-site at the to be able to commission the real system beforehand in the laboratory with the help of fully simulated systems.
history
The simulation system is developed by the company GPC mbH. Since the first version 1.0, which was published in February 1996, the regularly further developed system has been available for download on the Internet. The license limit included was gradually increased from an initial 100 to 500 model elements and enables the majority of all developed models to be used free of charge.