We study the verification of the soundness property for workflow nets extended with resources. A workflow is sound if it terminates properly (no deadlocks and livelocks are possible). A class of resource-constrained workflow nets (RCWF-nets) is considered. where resources can be used by a process instance. https://www.diegojavierfares.com/mega-pick-SA439-EF75-5-x-7-Embroidery-Machine-Hoop-mega-pick/