3 <title>INblobs editor</title>
4 <meta name="keywords" content="IN, Interaction Nets, editor, INblobs" />
5 <meta name="description" content="Free Interaction Nets editor." />
9 <h3>How to use INblobs</h3>
12 <li> Select an agent symbol by pressing its button on the left panel (symbol palette).
14 <li> Right click (or ctrl-click) on a canvas, node, or edge for a context menu.
16 <li> To create a node, shift click on some blank canvas.
18 <li> To create an edge, select (click) the source port, then shift-click
21 <li> To delete a node or edge, select it and press BACKSPACE or DEL, or else use the context menu.
23 <li> To rearrange the diagram, click and drag nodes to where you want them.
25 <li> To make an edge look tidier, add a control-point from its context menu,
26 and drag the point to where you want it.
28 <li> You can add multiple items into the current selection by meta-clicking
29 the extra nodes and control points. (Meta = Apple key, or CONTROL key.)
30 A multiple selection can be dragged or deleted just like a single selection.
32 <li> The interface of a net or a rule is explicitly defined by means of special interface agents.
34 <li> The net on the bottom is the net to be reduced or converted to a textual configuration.
36 <li> The two nets in the top are the left-hand side and right-hand side of the
37 interaction rule currently selected (from the list of rules on the left).
39 <li> To add a new rule press button <b>Add new rule</b> or else do mouse
40 right-click in <b>Rules</b> (the root of the tree of rules). Then add
41 agents to the canvas on the top.
43 <li> Alternatively, use the <b>Rule creation wizard</b>. Pressing this button will
44 make a dialog appear where the two agents that will interact can be
45 chosen. The wizard will automatically generate the left-hand side of
46 the rule. It is also possible to choose what is generated in the
47 right-hand side of the rule:
49 <li> a copy of the left-hand side to be manually edited after
50 (useful for rules with similar sides);
51 <li> the interface agents from left-hand side;
52 <li> nothing ( generates a blank right-hand side, not recommended)
55 <li> For rules between one of <b>{&epsilon, &delta, c}</b> symbols and any symbol there are templates that automatically create the whole rule; in <b>Rule creation wizard</b> check option <b>Rule template</b> and choose the two symbols.
57 <li> Match interface agents in a rule by selecting the desired interface agent
58 in the left-hand side and shift-clicking the corresponding interface agent
59 in the right-hand side. A box with the same number will appear in both agents.
61 <li> Edge and node labels can be made visible by selecting the appropriate command
62 from the <b>View</b> menu. Edge labels are useful since they make the selection
63 of edges easier: to select an edge just click on its label.
65 <a href="../index.html">back to main page</a>