The problem seems to be that the GUI sends a net with only two places (in,out) and no transitions to the engine for the boundedness check (from the workflow dialog).
The problem seems to be that the GUI sends a net with only two places (in,out) and no transitions to the engine for the boundedness check (from the workflow dialog).