IFAC Proceedings Volumes (IFAC-PapersOnline), vol.11, no.PART 1, pp.143-148, 2007 (Scopus)
Article / Abstract
IFAC Proceedings Volumes (IFAC-PapersOnline)
Continuous Petri nets, Deadlock, Discrete event systems, Large-scale systems, Overlapping decompositions
Anadolu University Affiliated:
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.