In: Computer and Mathematics with Applications, Vol. 27, No. 9-10, pages 45-51. 1994.
Abstract: This paper presents an implementation of distributed discrete event simulation of Petri nets. We consider the conservative distributed simulation approach. A method is presented: to use any local simulator of Petri nets based to handle local simulation, to reduce the number of null messages used to circumvent deadlocks which can occur in the conservative approach, to detect and resolve deadlocks.
Keywords: Petri nets, deadlock detection, distributed simulation.