The application of Discrete-Event Systems (DES) theory to the problem of guaranteeably enforcing concurrency constraints in multithreaded applications has been studied under certain assumptions, namely, the assumption of a static pool of pre-existing instantiated threads, whose creation and termination are not modeled. This work presents 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. © 2013 Elsevier B.V. All rights reserved.
Auer, A., Dingel, J., & Rudie, K. (2014). Concurrency control generation for dynamic threads using discrete-event systems. In Science of Computer Programming (Vol. 82, pp. 22–43). https://doi.org/10.1016/j.scico.2013.01.007