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

• Autorzy: Dylewski R.

Warianty tytułu

PL

Wyznaczanie pokrycia sieci Petriego podsieciami typu automatowego

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

Słowa kluczowe

EN

Petri net; P-invariant; state machine; linear programming

PL

pokrycie sieci Petriego; P-inwariant; składowe automatowe; programowanie liniowe

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2013
• Tom: R. 89, nr 11
• Strony: 285--289
• Opis fizyczny: Bibliogr. 18 poz.., rys.

Twórcy

autor

Dylewski R.

• University of Zielona Góra

Bibliografia

• [1] Murata T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77 (1989), 541-580
• [2] Silva M., Introducing Petri nets, in Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall, (1993), 1–62
• [3] David R., Alla H., Petri Nets and Grafcet. Tools for modeling discrete event systems. London: Prentice Hall, (1992)
• [4] Dylewski R., Adamski M., Jabłoński J., Zastosowanie programowania liniowego do badania sieci Petriego, Przegląd Elektrotechniczny, 87 (2011), nr 11, 159-163
• [5] Szpyrka M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych. Warszawa: Wydawnictwa Naukowo-Techniczne, (2008)
• [6] Bilinski K., Adamski M., Saul, J.M., Dagless E.L., Petri-netbased algorithms for parallel-controller synthesis, Computers and Digital Techniques, IEE Proceedings, 141 (1994), No. 6, 405-412
• [7] Petri C.A., Kommunikation mit Automaten, Institut für Instrumentelle Mathematik, Schriften des IIM, n. 3, (1962)
• [8] Dylewski R., Adamski M., Wyznaczanie P-inwariantów i pokrycia sieci Petriego z wykorzystaniem programowania liniowego, Przegląd Elektrotechniczny, 88 (2012), nr 3a, 165-169
• [9] Lautenbach K., Linear algebraic techniques for place/transition nets, LNCS, 254 (1987), 142-167
• [10] Pastor E., Cortadella J., Efficient Encoding Schemes for Symbolic Analysis of Petri Nets, Proc. IEEE, (1998), 790-795
• [11] Zaitsev D.A., Compositional Analysis of Petri Nets, Cybernetics and Systems Analysis, 42 (2006), No. 1, 126-136
• [12] Valette R., Etude comparative de deux outils de representation: Grafcet et reseau de Petri, Le Nouvel Automatisme, (1978), 337-382
• [13] Adamski M., Kołopieńczyk M., Mielcarek K., Doskonała sieć Petriego w projektowaniu współbieżnych układów sterujących, Pomiary Automatyka Kontrola 57 (2011), nr 6, 656-660
• [14] Carmona J., Cortadella J., Encoding Large Asynchronous Controllers With ILP Techniques, IEEE Trans. on Computer- Aided Design of Integrated Circuits and Systems, 27 (2008), 20-33
• [15] Tkacz J., Adamski M., Wyznaczanie SM – pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania, Pomiary Automatyka Kontrola 57 (2011), nr 11, 1397-1400
• [16] Wiśniewska M., Wiśniewski R., Zastosowanie kolorowania hipergrafów w procesie dekompozycji równoległej automatów współbieżnych, Metody Informatyki Stosowanej 23 (2010), nr 2, 151-157
• [17] Adamski M., Węgrzyn M., Petri nets mapping into reconfigurable logic controllers, Electronics and Telecommunications Quarterly, 55 (2009), No. 2, 157-182
• [18] Węgrzyn M., Wolański, P., Adamski M., Monteiro J.L., Coloured Petri net model of application specific logic controller programs, ISIE '97., Proceedings of the IEEE International Symposium on Industrial Electronics, 1 (1997), 7-11