PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Properties and analysis of [alfa]-nets

Autorzy
Identyfikatory
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
A restricted class of Petri nets equivalent to [alfa]-nets - the extended free choice nets with single-token initial marking - is considered, which corresponds to structnre of paralleI aotomata and parallel logical control algorithms. For nets of this class the dependence between such behavioural properties as liveness, safeness and reversibility is studied. It is shown that a net belonging to that class is live and sale if and only if it is reversible and the net graph is strongly connected. Sofie other results are proven on relation among reversibility and other net properties. Based on the obtained results, applying one of the reduced state space generation methods known as the stubborn set method to [alfa]-nets is considered. It is shown, that redoced reachability graph obtained by the method for such net allows to check whether the net is well-formed (live and sale); soch graph may be much smaller than the complete reachability graph of the net. Experimental results are presented.
PL
Dla podklasy sieci Petriego, ekwiwalentnej [alfa]-sieciom - rozszerzonym sieciom swobodnego wyboru z jednym znacznikiem w znakowaniu początkowym - bada się zależność między niektórymi istotnymi własnościami behawioralnymi. Pokazane, że sieć, należąca do tej klasy, jest żywą i bezpieczną wtedy i tylko wtedy, gdy jest ona powtarzalna i silnie spójna. Przedstawione są niektóre inne rezultaty, związane z zależnościami między powtarzalnością i innymi własnościami sieci. Na podstawie otrzymanych rezultatów rozważa się zastosowanie metody upartych zbiorów (stubborn set method) do [alfa]-sieci; pokazane, że zbudowany za pomocą tej metody częściowy graf osiągalności dla takiej sieci zawiera informacje, pozwalającą sprawdzić, czy sieć jest "dobrze zbudowana" (żywa i bezpieczna).
Rocznik
Strony
53--64
Opis fizyczny
Bibliogr. 15 poz., rys.
Twórcy
  • Inslitute ot Computer Engineering and Eleclronics, University ot Zielona Góra ul. Podgoma 50, 65-246 Zielona Góra, Poland
Bibliografia
  • [1] Murata T., Petri Nets, Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, 1989, pp. 54 1-580.
  • [2] Hack M., Analysis of production schemata by Petri nets, Project MAC-94, Cambridge, 1972.
  • [3] Esparza A., Silva M., On the Analysis and Synthesis of Free Choice Systems, LNCS 483, 1991, pp. 243-286.
  • [4] Zakrevskij A.D., Èlementy teorii α-setej, Proektirovanie sistem logičeskogo upravlenija Minsk, ITK AN BSSR, 1986, str. 4-12.
  • [5] Zakrevskij A. D., K teorii parallel’nych algoritmov logičeskogo upravlenija, Izvestija AN CCCP, Techničeskaja kibernetika, No 5, 1989, str. 179-191.
  • [6] Lewis R.W., Programming industrial control systems using lEC 1131-3, IEE, London, 1995.
  • [7] Valmari A., State of the Art Report: Stubborn Sets, Petri Nets Newsletter, No 46, Gl, Bonn 1994, pp. 6-14.
  • [8] Korotkevič A.G., Analiz korrektnosti α-setej, Logičeskoe proektirovanie, vyp. 1, Minsk, ITK ANB, 1996, str. 86-96.
  • [9] Karatkevich A., Adamski M., Wegrzyn M., Rapid Correctness Ai for Sequential Function Chart, 45. Internationales Wissenschaftliches Kolloquium, Technische Universität Ilmenau, Ilmenau, 2000, pp. 679-684.
  • [10] Karatkevich A., Dependence between Some Behavioral Properties of α-Nets, Proceedings of CAD DD’2001, Minsk, 2001, pp. 57-60.
  • [11] Peterson J.L., Petri net theory and the modeling of systems, Prentice-Hall, Inc., Englewood Cliffs, 1981.
  • [12] Zakrevskij A., High-level design of logical control devices, Proceedings of CAD DD’99, Minsk, 1999, pp.l3-l8.
  • [13] Cormen T.H.,. Leiserson Ch.E, Rivest R.L., Introduction to Algorithms, MIT, 1994.
  • [14] Diesel J., A Proof of the Rank Theorem for Extended Free Choice Nets, LNCS 616, 1992, pp. 134- 153.
  • [15] Valmari A., The State Explosion Problem, LNCS 1491, 1998, 429-528.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPG5-0017-0013
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.