Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej

• Autorzy: Karatkiewicz A.

Warianty tytułu

EN

Analysis of Cyclic Petri Nets by Means of Block Decomposition

• Języki publikacji: PL

Abstrakty

PL

Artykuł przedstawia metodę analizy żywotności i bezpieczeństwa sieci Petriego, na których znakowanie początkowe i strukturę nałożone są pewne ograniczenia, typowe dla sieci cyklicznych, modelujących algorytmy sterowania. Metoda jest wzorowana na metodzie analizy operacyjnych sieci Petriego i jest jej zaadaptowaniem do innej klasy sieci. Przedstawiona metoda polega na dekompozycji sieci i konstruowaniu przestrzeni osiągalności bloków, w kolejności wyznaczonej strukturą sieci. W artykule przytoczono wyniki eksperymentów, opisujące stopień redukcji przestrzeni stanów.

EN

The paper presents a methods of deciding of liveness and safeness of Petri nets with certain restrictions imposed on their structure and initial marking, which are typical for cyclic nets, modeling the control algorithms. The method is based on the method of analysis of operational Petri nets, and it is an adaptation of this method to another class of nets. The method decomposes the net and explores state spaces of its blocks in an order depending on the net structure. The experimental results are presented, demonstrating reduction of state space.

Słowa kluczowe

PL

sieci Petriego; dekompozycja; eksploracja stanów

EN

Petri nets; decomposition; state exploration

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 69--71
• Opis fizyczny: Bibliogr. 16 poz., rys., tab.

Twórcy

autor

Karatkiewicz A.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Banaszak Z., Kuś J., Adamski M.: Sieci Petriego. Modelowanie, Sterowanie i Synteza Systemów Dyskretnych, WSInż, Zielona Góra, 1993.
• [2] Godefroid P.: Partial-Order Methods for the Verification of Concurrent Systems: an Apprpach to the State-Explosion Problem, LNCS, Vol. 697, Springer, 1996.
• [3] Jasiukiewicz T. System analizy sieci Petriego poprzez badanie przestrzeni stanów. Praca dyplomowa. Uniwersytet Zielonogórski, 2004.
• [4] Karatkevich A.: Hierarchical Decomposition of Safe Petri Nets, Proceedings of the International Conference on CAD DD'99, 1999, 34-39.
• [5] Karatkevich A.: Optimal Simulation of a-Nets, Proceedings of the Polish-German Symposium SRE, 2000, 217-222.
• [6] Karatkevich A.: Dynamic Analysis of Petri Net-Based Discrete Systems, to be published by Springer in 2007.
• [7] Karatkevich A.G., Gratkowski T.: Analysis of the Operational Petri Nets by a Distributed System, Proceedings of TCSET'2004, February 2004, 319-322.
• [8] Karatkevich A., Zakrevskij A. Analysis of Petri Nets by means of Concurrent Simulation, Proceedings of the International Conference PARELEC September 2002, IEEE, 87-91.
• [9] Kulikowski J.L.: Zarys teorii grafów. PWN, 1986.
• [10] Murata T.: Petri Nets: Properties, Analysis and Applications, Proceedings of IEEE, Vol. 77, No 4, April 1989, 548-580.
• [11] Notomi M., Murata T.: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis IEEE Transactions on software engineering, Vol. 20, No 5, May 1994, 325-336.
• [12] Peterson J. L.: Petri Net Theory and the Modeling of Systems, Prentice-Hall, Inc., 1981.
• [13] Valmari A.: State of the Art Report: Stubborn Sets, Petri Nets Newsletter, No 46, 1994, 6-14.
• [14] Закревский А. Д.: Анализ операционных сетейПетри, Препринт No 4 / ИТК АН БССР, 1987.
• [15] Закревский А. Д.: Параллельные алгоритмы логического управления, ИTK HAHБ, 1999.
• [16] Zakrevskij A., Karatkevich A., Adamski M.: A Method of Analysis of Operational Petri Nets, in Proceedings of the 8th International Conference ACS'2001, 449-460, Kluwer Academic Publishers, 2002.