|
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
|
