Deadlock prevention for service orchestration via controlled Petri nets

Jing Bi, Haitao Yuan, Wei Tan 0001. Deadlock prevention for service orchestration via controlled Petri nets. J. Parallel Distrib. Comput., 124:92-105, 2019. [doi]

Abstract

Abstract is missing.