Siphon and trap generation in an incremental design process based on Petri nets

This paper addresses the generation of basis siphons and traps of Petri net models obtained using an incremental modelling approach. The goal is to provide an efficient tool for detecting deadlocks along the modelling process and to detect design errors as soon as possible. Efficient algorithms for generating basis siphons and traps when a transition or a place is added to an existing Petri net model are proposed