Create & Edit

• Clicking on the

  

  Create Process icon at any time opens a new window for creating a new atomic process.
• Right-clicking on an atomic process in the Processes list on the left and then clicking the

  

  Edit Process option opens the same window to allow edits.

The available functionality is described below.

Actions can be undone/redone at any time using the undo/redo arrows at the top, or Ctrl-Z and Ctrl-Y respectively.

Click the Done button at the bottom when all the desired edits are completed. This will create the new process or update the one being edited.

New and edited atomic processes are added to the Processes list on the left.

Process names

An initial, unique name P# is automatically generated for the process.

A process can be renamed in 2 ways:

• By clicking the

  

  Rename icon.
• By double clicking the blue box containing the name of the process.

Resource names

Resource names describe the types of input or output resources for a process.

A resource can be renamed by double clicking the edge (line) that carries its name.

Resource branches

Both input and output resources can be added as branches in a tree-like structure. A dialog to fill in the name of the newly added resource is provided each time.

We can specify branches of both parallel (solid lines) and optional (dashed lines) resources.

• Double-clicking on a blue resource circle adds a new resource at the same level and branch type as the circle.

  For example, if a circle belongs to an optional branch (dashed line), double clicking it will produce a new option from the same root as the circle.

• Right-clicking on a blue resource circle reveals the

  

  Add branch option. Selecting this will add a new resource branch of the opposite type to that circle.

  For example, if a circle belongs to an optional branch (dashed line), the Add Branch option will add a new parallel branch starting from that circle and including the original resource (or its children) and the new resource as children.

  This allows us to change the type of a branch and alternate between parallel and optional branching.

• Right-clicking on a blue resource circle also reveals the

  

  Delete branch option. Selecting this will delete the resource or the entire branch of resources belonging to the circle.

  This may lead to branches of the same type collapsing together in a single branch.

  As with all other edit actions, this action can be undone.