- Tytuł:
-
Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
Using coloured Petri nets for real-time systems design - Autorzy:
-
Samolej, S.
Trybus, B. - Powiązania:
- https://bibliotekanauki.pl/articles/156259.pdf
- Data publikacji:
- 2005
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
kolorowane sieci Petriego
systemy czasu rzeczywistego
inżynieria oprogramowania
coloured Petri nets
real-time systems
software engineering - Opis:
-
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.
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. - Źródło:
-
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
0032-4140 - Pojawia się w:
- Pomiary Automatyka Kontrola
- Dostawca treści:
- Biblioteka Nauki
Artykuł