The application of Discrete-Event Systems (DES) theory to the problem of guaranteeably enforcing concurrency constraints in multi-threaded applications has been studied under certain assumptions, namely, the assumption of a static pool of preexisting instantiated threads, whose creation and termination are not modelled. This work proposes an extension of this case to handle dynamically instantiated and terminated threads using a Petri net formalism and an online limited-lookahead state-space search technique. |