Deadlock analysis for continuous Petri nets by using overlapping decompositions


APAYDIN ÖZKAN H., AYBAR A.

IFAC Proceedings Volumes (IFAC-PapersOnline), vol.11, no.PART 1, pp.143-148, 2007 (Scopus) identifier

  • Publication Type: Article / Abstract
  • Volume: 11 Issue: PART 1
  • Publication Date: 2007
  • Doi Number: 10.3182/20070723-3-pl-2917.00023
  • Journal Name: IFAC Proceedings Volumes (IFAC-PapersOnline)
  • Journal Indexes: Scopus
  • Page Numbers: pp.143-148
  • Keywords: Continuous Petri nets, Deadlock, Discrete event systems, Large-scale systems, Overlapping decompositions
  • Anadolu University Affiliated: Yes

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. © 2007 IFAC.