Publication detail

Analysis of Cycle Time in Intrerval P-Time Event Graphs in Dioid Algebras

ŠPAČEK, P. KOMENDA, J.

Original Title

Analysis of Cycle Time in Intrerval P-Time Event Graphs in Dioid Algebras

English Title

Analysis of Cycle Time in Intrerval P-Time Event Graphs in Dioid Algebras

Type

conference paper

Language

en

Original Abstract

We propose a new approach to the modelling and analysis of cycle times in interval P-time event graphs based on dual linear representations in the (max,+) and (min,+) semirings. The results are illustrated by two examples, the second one is a model of a manufacturing system from the electroplating industry.

English abstract

We propose a new approach to the modelling and analysis of cycle times in interval P-time event graphs based on dual linear representations in the (max,+) and (min,+) semirings. The results are illustrated by two examples, the second one is a model of a manufacturing system from the electroplating industry.

Keywords

dioid algebra, interval time Petri nets, dead tokens, residuation theory

RIV year

2011

Released

14.08.2017

Publisher

ELSEVIER

Location

Toulouse, Francie

ISBN

978-3-902661-93-7

Book

Proceedings of the 20th IFAC World Congress, 2017

Pages from

13461

Pages to

13467

Pages count

7

URL

BibTex


@inproceedings{BUT89155,
  author="Pavel {Špaček} and Jan {Komenda}",
  title="Analysis of Cycle Time in Intrerval P-Time Event Graphs in Dioid Algebras",
  annote="We propose a new approach to the modelling and analysis of cycle times in interval P-time event graphs based on dual linear representations in the (max,+) and (min,+) semirings. The results are illustrated by two examples, the second one is a model of a manufacturing system from the electroplating industry.",
  address="ELSEVIER",
  booktitle="Proceedings of the 20th IFAC World Congress, 2017",
  chapter="89155",
  howpublished="online",
  institution="ELSEVIER",
  year="2017",
  month="august",
  pages="13461--13467",
  publisher="ELSEVIER",
  type="conference paper"
}