Powiadomienia systemowe
- Sesja wygasła!
Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
W wyniku analizy materiałów literaturowych oraz przeprowadzonych na ich podstawie prac własnych można dojść do wniosku, że sieci Petriego, których graf współbieżności jest opisany grafem doskonałym, są sieciami bezpiecznymi przy spełnieniu (6). Jednocześnie na podstawie grafu osiągalności sieci (określenia jej parametrów) można określić czy sieć ta będzie siecią żywą.
In this paper Petri nets properties have been analyzed for their application in reachability graph researches. There has been proved that proper nets [1] describe global states space and they could be analyzed in polynomial time with perfect graphs algorithms.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
169--176
Opis fizyczny
Bibliogr. 7 poz., rys.
Twórcy
autor
autor
autor
- Uniwersytet Zielonogórski, Wydział Elektrotechniki, Informatyki i Telekomunikacji
Bibliografia
- [1] Kovalyov A.V.: Concurrency Relation and the Safety Problem for Petri Nets, Institute of Engineering Cybernetics of Belarusian Academy of Science, Minsk 1992
- [2] Mielcarek K.: Perfect Graphs in Digital Circuits Design, PhD Thesis, University of Zielona Góra, Zielona Góra 2010
- [3] Janicki R.: Nets, sequential components and concurrency relations, Institute of mathematics,Warsaw Technical University, Warsaw 1982
- [4] Węgrzyn M.: Hierarchiczna implementacja współbieżnych kontrolerów cyfrowych z wykorzystaniem FPGA; Rozprawa doktorska, Politechnika Warszawska, Wydział elektroniki i Technik Informatycznych, Warszawa, 1998
- [5] Lovász L.: A Characterization of Perfect Graphs, Journal of Combinatorial Theory, 1972
- [6] Carmona J., Colom J-M., Cortadella J., García-Vallés F.: Synthesis of Asynchronous Controllers Using Integer Linear Programming, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 25, No. 9, 2006
- [7] Petri C. A.: Kommunikation mit Automaten, Institut für Instrumentelle Mathematik, Schriften des IIM, Nr. 3, 1962
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPS3-0018-0017