* Final Markings in oWFNs resulting from BPEL processes only need to be covered and   the interface place need to be empty. Therefore the FINALCONDITION was changed to   "ALL_OTHER_EXTERNAL_PLACES_EMPTY"
* Final Markings in oWFNs resulting from BPEL processes only need to be covered and
  the interface place need to be empty. Therefore the FINALCONDITION was changed to
  "ALL_OTHER_EXTERNAL_PLACES_EMPTY"

nlohmann/bpel2owfn,nlohmann/bpel2owfn