







RA(placetransition %2 ~place~)
RA(~name~ %2 %3)

MA(~marking~ m0 %2 %3)









RA(placetransition %2 ~transition~)
RA(~name~ %2 %3)










RA(debarc %2 %3)|RA(finarc %2 %4)|RA(arc %2 ~arc~)
RA(~valarc~ %2 %3)
