void externMustStop(void* arg) { PetriNet* petriNet = (PetriNet*) arg; if (petriNet->m_parentPetriNet != NULL) { petriNet->m_parentPetriNet->m_activeChildPetriNet.erase(petriNet); } petriNet->mustStop(); }