V. Sood, M. K. Nema, R. Kumar, and M. J. Nene, “Construction and Analysis of Petri Net Model for Distributed Cyber Physical Systems”, DSJ, vol. 72, no. 5, pp. 721-731, Nov. 2022.