Analysis of P-time event graphs in (max,+) and (min,+) semirings

Kód výsledku v IS VaVaI

RIV/67985840:_____/21:00540650 - isvavai.cz

Výsledek na webu

https://doi.org/10.1080/00207721.2020.1837992

DOI - Digital Object Identifier

10.1080/00207721.2020.1837992

Jazyk výsledku

angličtina

Název v původním jazyce

Analysis of P-time event graphs in (max,+) and (min,+) semirings

Popis výsledku v původním jazyce

In this paper, we investigate the behaviour of P-time event graphs, a class of time Petri nets with non-deterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fastest and slowest) periodic trajectories that are derived from the new description. The results are illustrated by a realistic example of an electroplating process.

Název v anglickém jazyce

Analysis of P-time event graphs in (max,+) and (min,+) semirings

Popis výsledku anglicky

In this paper, we investigate the behaviour of P-time event graphs, a class of time Petri nets with non-deterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fastest and slowest) periodic trajectories that are derived from the new description. The results are illustrated by a realistic example of an electroplating process.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

International Journal of Systems Science

ISSN

0020-7721

e-ISSN

1464-5319

Svazek periodika

52

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

16

Strana od-do

694-709

Kód UT WoS článku

000614502200001

EID výsledku v databázi Scopus

2-s2.0-85100627110