Back home Poses++ Documentation - Contents - Version 2.2 08/2011
1. Poses++ The Software
1.1. Fields of Application
1.2. Installation
1.3. System Architecture
1.4. Software components
1.5. Poses++ - what is new ?

2. Getting started with Poses++
2.1. Poses++ Project
2.2. Program a Poses++ Module
2.3. Check a Module
2.4. Build a Model
2.5. Simulate Model
2.6. Run modes and time warping
2.7. Network inspector
2.8. Breakpoints, Traces and Watches
2.9. Options
2.9.1. Model Options
2.9.2. Build Options
2.9.3. Server Options
2.9.4. C++ Compiler Options
2.10. Simulation results
2.11. Licence Viewer
2.12. Layout Editor
2.13. Animation Player

3. Model Generation with Poses++
3.1. Introduction into Model Generation
3.2. Modelling Concepts of Poses++
3.2.1. Predicates
3.2.1.1. Token and Data Types
3.2.1.2. Capacity
3.2.1.3. Access Modes
3.2.1.4. Initial Marking
3.2.1.5. Predicate Properties
3.2.2. Transitions
3.2.2.1. Fire Rule
3.2.2.2. Actions
3.2.2.3. Timed Transitions
3.2.2.4. Parallelism
3.2.2.5. Priority
3.2.2.6. Transition Properties
3.2.3. Arcs
3.2.3.1. Constant Arc Expression
3.2.3.2. Variable Arc Expression
3.2.3.3. Arc Expression with Anonymous Variables
3.2.3.4. Complex Arc Expression
3.2.3.5. Cardinality of Arcs
3.2.3.6. Test Arc, Search Arc and Inhibitor Arc
3.2.3.7. Boolean Conditions
3.2.3.8. Function Calls
3.2.3.9. Timed Arcs
3.2.4. Modules
3.2.4.1. The Module Type
3.2.4.2. A Module Instance
3.2.4.3. Module Parameter
3.2.4.4. Predicate Overloading
3.2.4.5. Module Overloading
3.2.4.6. Module Properties
3.3. Modelling Example

4. Appendix
4.1. Poses++ Syntax Overview
4.2. Distribution functions
4.3. Animation functions
4.4. Layout and animation command syntax
4.5. Poses++ Client API
4.5.1. Poses++ console
4.5.2. Poses++ daemon
4.5.3. Poses++ shell
4.5.4. Poses++ server
4.6. Command line options and parameters
4.6.1. Poses++ daemon
4.6.2. Poses++ licence daemon
4.6.3. Poses++ shell
4.6.4. Poses++ compiler
4.6.5. Poses++ server
4.6.6. Poses++ console
4.7. Hardware and Software Environment
4.8. Contact & Copyright

Terminology


Back home mail copyright© GPC mbH 08/20/2011