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 .
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.