IFAC Proceedings Volumes (IFAC-PapersOnline), vol.11, no.PART 1, pp.143-148, 2007 (Scopus)
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. © 2007 IFAC.