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

Assigning the cover of Petri nets with subnets of the automatic type

Robert DYLEWSKI

nr katalogowy: 80893

In the article the problem of the decomposition of a concurrent digital automaton for its state machine components is considered. A new method of cover is proposed with safe, live and reversible Petri nets. In order to determine basic and correct P-invariants which generate strongly connected subnets of the state machine type the suitable linear programming problem based on the matrix of marking corresponding to the global states of the net is used. The operating of the method for the example Petri nets is illustrated and benefits in relation to other methods are presented. Streszczenie. W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę pokrycia bezpiecznych, żywych i powracanych sieci Petriego. Do wyznaczania p-inwariantów podstawowych i poprawnych, generujących mocno spójne podsieci typu maszyna stanów używa się odpowiedniego zadania programowania liniowego, bazującego na macierzy znakowań odpowiadającej stanom globalnym sieci. Zilustrowano działanie metody dla przykładowych sieci Petriego i przedstawiono zalety w stosunku do innych metod. (Wyznaczanie pokrycia sieci Petriego podsieciami typu automatowego). Keywords: cover of Petri nets, P-invariants, state machine components, linear programming. Słowa kluczowe: pokrycie sieci Petriego, P-inwarianty, sekwencyjne składowe automatowe, programowanie liniowe. Introduction For the description of the problem of the decomposition of a concurrent digital automaton for state machine components it is possible to apply Petri nets. Assigning strongly connected subnets of the automatic type comes to finding the invariants of the net places (P-invariants) which have suitable properties. Petri net is a three-tuple N = (P, T, F), where P  {p1, p2 ,..., pm} is a set of places, T {t1,t2 ,...,tn} is a set of transitions, whereas P T   and P T  , [...]

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

Publikacja


e-Publikacja (format pdf) - nr 80893 "Assigning the cover of Pe..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2013-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

2013-11

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma