Place dialog window

If a net is compiled out of a B(PN)² program the meaning gives the reference. A place corresponding to a variable is labelled with the name of this variable, a place corresponding to a point in the control flow can be labelled with do , begin , end or a semicolon. Editing a meaning might destroy its meaning.

Types can be given as, e.g., {dot} , {tt,ff} or {1,3..5} , with tt representing true and ff false respectively.

A marking must be a multi-set over Type . E.g., {3*1,4} specifies a marking 1 1 1 4 .

Transition dialog window

If a net is compiled out of a B(PN)² program the meaning gives the reference. Editing it might destroy its meaning.

Action terms can be given as, e.g., var1('var1,var1') , ^var1('var1,var1') , chan1!(chan1!) or ^stack1?(stack1?) You can get some hints if you compile a program into a HL net with the option no scoping.

Value terms can be given as, e.g., var1'=ff & var2'=3 . Sometimes it is necessary to specify (explicitly) the range of a variable by prefixing the value term with, e.g., var1{1,3..5} & var2{tt,ff}: . You can also use projections of 2-tupels like in chan1!{1,3..5}: pr0(chan1')=1 & pr1(chan1')=chan1! but you might get some errors because the syntax is very restricted. You can get some hints if you compile a program into a HL net.

Arc dialog window

The name of a variable can be specified. E.g. var1' . If a multi-set of variables is specified (e.g. var2,var2,var2,var3 ) the current version of the net editor may work incorrectly during simulation.