“…The Unified Modeling Language (UML) (Booch, Rumbaugh, & Jacobson, 1999) has become a widelyacceptedstandardinthesoftwaredevelopmentindustry.Somediagramsareusedtomodel thestructureofasystemwhileothersareusedtomodelthebehaviorofasystem.TheTimePetri Nets with Action Duration (DTPN) model (Belala et al,2013) supports at the same time timing constraints and actions duration based on maximality semantics (Saїdouni,D.E, Belala, Bouneb, Boudjadar,&Ouchenne,2008).…”