Czy prawidłowa sieć Petriego jest siecią doskonałą?

• Autorzy: Mielcarek K. , Adamski M. , Zając W.
• Języki publikacji: PL

Abstrakty

PL

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ą.

EN

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

PL

wykresy idealne; sieci Petriego; sieci doskonałe

EN

perfect graphs; Petri nets; perfect nets

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2010
• Tom: nr 3 (23)
• Strony: 169--176
• Opis fizyczny: Bibliogr. 7 poz., rys.

Twórcy

autor

Mielcarek K.

autor

Adamski M.

autor

Zając W.

• 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