Conservative distributed simulation of Petri nets

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.