Wyznaczanie P-inwariantów i pokrycia sieci Petriego z wykorzystaniem programowania liniowego

• Autorzy: Dylewski R. , Adamski M.

Warianty tytułu

EN

Derivation of P-invariants covering Petri net by means of linear programming

• Języki publikacji: PL

Abstrakty

PL

W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego realizowanego w rekonfigurowalnych strukturach cyfrowych na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę wyznaczania P-inwariantów i pokrycia sieci Petriego, które są bezpieczne, żywe i powracalne. Do wyznaczania P-inwariantów używa się odpowiedniego zadania programowania liniowego, wykorzystując macierz znakowań. Przedstawiono zalety nowej metody w porównaniu do metod bazujących na macierzy incydencji. Zilustrowano praktyczne wykorzystanie metody analizując i dekomponując przykładowe sieci Petriego.

EN

In the paper the problem of concurrent state machine decomposition into a set of sequential state machine subcomponents realized in reconfigurable hardware is considered. The new method of detecting P-invariants from reachability matrix, which cover a safe, live and reversible Petri net is proposed. The linear algebraic approach is used for deriving and selecting the most suitable P-invariants, describing synthesizable components of State Machine Decomposable Net. The advantages of a novel method are demonstrated.

Słowa kluczowe

PL

programowanie liniowe; SM- dekomponowana sieć Petriego; pokrycie sieci Petriego

EN

Petri net; linear programming; P-invariants; state machine decomposable net; Petri net cover

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2012
• Tom: R. 88, nr 3a
• Strony: 165--169
• Opis fizyczny: Bibliogr. 12 poz., schem.

Twórcy

autor

Dylewski R.

autor

Adamski M.

• Wydział Matematyki, Informatyki i Ekonometrii, Uniwersytet Zielonogórski, ul. Licealna 9, 65-417 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] Datta A., Ghosh S., Synthesis of a Class of Deadlock-Freee Petri Nets, Journal of the Association for Computing Machinery, 31 (1984), 486-506
• [5] 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), n.6, 405-412
• [6] Lautenbach K., Linear algebraic techniques for place/transition nets, LNCS, 254 (1987), 142-167
• [7] Pastor E., Cortadella J., Efficient Encoding Schemes for Symbolic Analysis of Petri Nets, Proc. IEEE, (1998), 790-795
• [8] Carmona J., Cortadella J., ILP models for the synthesis of asynchronous control circuits, In Proc. International Conf. Computer-Aided Design (ICCAD), (2003), 818-826
• [9] Carmona J., Cortadella J., State encoding of large asynchronous controllers, In Proc. ACM/IEEE Des. Autom. Conf., (2006), 939-944
• [10] 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
• [11] Valette R.: Etude comparative de deux outils de representation: Grafcet et reseau de Petri, Le Nouvel Automatisme, (1978)
• [12] Adamski M., Kołopieńczyk M., Mielcarek K., Doskonała sieć Petriego, Informatyka - Sztuka czy Rzemiosło - KNWS '11, preprint, Karpacz, (2011), 227-231