Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego

• Autorzy: Samolej S. , Trybus B.

Warianty tytułu

EN

Using coloured Petri nets for real-time systems design

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono metodę zastosowania kolorowanych sieci Petriego (sieci CPN) do wytwarzania systemów czasu rzeczywistego. Opis systemu prowadzony jest przy użyciu metodyki SDRTS (Structured Design for Real-Time Systems) i sieci CPN. Ostatecznym rezultatem procesu projektowego jest zbiór hierarchicznych czasowych sieci CPN odpowiadajacych diagramom metodyki SDRTS, umożliwiający symulację i formalną analizę wytwarzanego systemu.

EN

A way of application of coloured Petri nets (CPN) in real-time systems development is presented in the paper. The system is described simultaneously using SDRTS (Structured Design for Real-Time Systems) method and CPN language. The final result of the development process is a set of hierarchical timed coloured Petri nets corresponding to SDRTS diagrams that makes it possible to simultane and formally analyse the system designed.

Słowa kluczowe

PL

kolorowane sieci Petriego; systemy czasu rzeczywistego; inżynieria oprogramowania

EN

coloured Petri nets; real-time systems; software engineering

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2005
• Tom: R. 51, nr 1
• Strony: 11--13
• Opis fizyczny: Bibliogr. 7 poz., rys., tab.,

Twórcy

autor

Samolej S.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska

autor

Trybus B.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska

Bibliografia

• [1] Jensen K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3, Springer 1996.
• [2] Ward P. T., Mellor S. J.: Structured Development for Real-Time Systems, Yourdon Press, Englewood Cliffs, Prentice Hall 1985.
• [3] Trybus B.: Zastosowanie kolorowanych sieci Petriego do analizy strukturalnej systemów czasu rzeczywistego, rozprawa doktorska pod kierunkiem prof. T. Szmuca, AGH 2004.
• [4] Elmstrom R., Linlulampi R., Pezze M.: Giving Semantics to SA/RT by Means of Iligh-Level Timed Petri Nets, Journal on Real-Time Systems. May 1993, 249-272.
• [5] Szmuc T.: Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego. Wydawnictwa AGH. Kraków 2001.
• [6] Samolej S.: Projektowanie systemów wbudowanych z zastosowaniem czasowych kolorowanych sieci Petriego, rozprawa doktorska pod kierunkiem prof. T. Szmuca, AGH 2003.
• [7] Świder Z.. Trybus L.. Śnieżek M.: Two-channel Temperature Controller for Buildings. 3rd IEEE Conf. Control Appl., Glasgow, 1994, Vol. 1, 21-26.