workflow-complaint has the same issue, the net sent to boundedness check from workflow dialog has only two places (only the in and out shared places).
workflow-complaint has the same issue, the net sent to boundedness check from workflow dialog has only two places (only the in and out shared places).