Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2011 - zeszyt 11

Zastosowanie programowania liniowego do badania sieci Petriego

nr katalogowy: 63919

W literaturze przedmiotu, proponuje się wykorzystywanie metod algebry liniowej (LA) do badania strukturalnych i dynamicznych własności sieci Petriego, zwracając uwagę na zalety techniki ILP (Integer Linear Programming). Bezkrytyczne stosowanie ogólnych, uniwersalnych procedur matematycznych o stosunkowo dużej sprawności obliczeniowej prowadzi jednak do niepotrzebnego wygenerowania dużej liczby zbytecznych rezultatów. Projektant rekonfigurowalnego sterownika logicznego (RLC) zmuszany jest do pracochłonnej selekcji trudnych do intuicyjnego zinterpretowania wyników analizy, nieprzydatnych w trakcie projektowania matrycowego układu cyfrowego. W artykule dokonano krótkiego, krytycznego przeglądu dotychczas stosowanych metod analizy sieci Petriego z wykorzystaniem technik ILP. Pokazano sposób racjonalnego wykorzystania ILP do wyznaczania i efektywnej selekcji inwariantów bezpiecznej sterującej sieci Petriego, z pominięciem jej znakowań pozornych umiejscowionych wśród potencjalnie osiągalnych stanów globalnych i przemieszanych razem z rzeczywistymi stanami globalnymi. Abstract. The paper presents a novel part of well known design methodology for Reconfigurable Logic Controllers implementation, which starts from a suitable cover of the control interpreted Petri net by means of the minimal number of its proper state machine (SM) components. The proposed analysis procedure is based both on Integer Linear Programming (ILP) and structural theory of Petri nets. The number of generated P-invariants, treated as candidates for covering all places of the net, is usually too surplus and contains subsets which do not define State Machine components. Some of P-invariants do not properly define state machine components because they have no intersection or they have more then one intersection with real distributed global states of the control interpreted net. Another well known drawback of the known ILP methods is the generation of several spurious global states o[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 63919 "Zastosowanie programowani..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2011-11 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2011-11

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma