Deadlock analysis for continuous Petri nets by using overlapping decompositions

Abstract

The continuous Petri nets model, in which the tokens are denoted by real numbers and the firing of transitions depends on speeds of each transition and time, is considered to analyse deadlock in this work. Deadlock analysis, based on overlapping decompositions, is described for this Petri nets model