|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Place creationTo create a place, clic on the menu/button "Insert new place" If you keep 'Shift' pressed, you can create several places at a time. Changing the name of a placeDouble clic on the name of the place with the selection tool Changing the number of tokens for a placeSelect the place with the selection tool
Transition creationTo create a transition, clic on the menu/button "Insert new transition" If you keep 'Shift' pressed, you can create several transitions at a time. Changing the name of a transitionDouble clic on the name of the transition with the selection tool Arc creationTo create an arc, you need first to select the originating component (place/transition) with the selection tool
When selected, net components display blue handles. Those handles are the connectors of each component. You can drag and drop arcs from and to them. When you move the mouse cursor over a connector, the mouse cursor takes the shape of a hand, to indicate the possibility of linking components. To drag an arc means pressing the mouse button on the blue handle and dragging it outside the component. To drop an arc means releasing the arc inside another component. The following picture represents a drag and drop:
Changing the weight of an arcSelect the arc with the selection tool
Add "nodes" in an arcSelect the arc with the selection tool Once activated, nodes can be dragged anywhere, by dragging the white handles. See an example of an arc with nodes below::
|
|