For a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR), new concepts of simple and complex strict minimal siphons (SMS) are introduced. More importantly, a ...