Place

Each place represents a partial state of the system. Places can hold tokens. If a place holds a token, it is tagged. All tagged places together represent the state of the process.

At least one place must be tagged initially. Starting with this place the process can be simulated by tracking the flow of the tokens.

Usage

To create a token in a place select the place in the editor, click with the right mouse button and pick Create token in the context menu.

To delete the token in a place select the place in the editor, click with the right mouse button and pick Remove token in the context menu.




Prev: Competency Overview Next: Edge