void externLaunch(void* arg) { PetriNet* petriNet = (PetriNet*) arg; if (petriNet->m_parentPetriNet != NULL) { petriNet->m_parentPetriNet->m_activeChildPetriNet[petriNet] = petriNet; petriNet->setUpdateFactor(petriNet->m_parentPetriNet->getUpdateFactor()); } petriNet->launch(); }