Szczegóły publikacji

Opis bibliograficzny

Projektowanie i analiza czasowych kolorowanych sieci Petriego w oparciu o system Design/CPN — Designing and analysis timed coloured Petri nests with Design/CPN system / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN: 83-914257-0-3. — S. 205–214. — Bibliogr. s. 213–214, Summ.

Autor

Dane bibliometryczne

ID BaDAP3869
Data dodania do BaDAP2001-04-18
Rok publikacji2000
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#3824Data dodania: 18.4.2001
Zastosowanie czasowych kolorowanych sieci Petriego do modelowania systemów czasu rzeczywistego — Application of timed coloured Petri nets for modelling of real-time systems / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN: 83-914257-0-3. — S. 17–28. — Bibliogr. s. 27–28, Summ.
SzczegółyLink
fragment książki
#14091Data dodania: 3.10.2003
Projektowanie wstępne oprogramowania systemów wbudowanych z zastosowaniem czasowych kolorowanych sieci Petriego — Embedded system preliminary design – timed coloured Petri approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'03 : X konferencja : Ustroń, 15–18 września 2003 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień ; Politechnika Śląska. — Gliwice : Instytut Informatyki PŚ, 2003. — Opis częśc. wg okł. — S. 95–104. — Bibliogr. s. 103–104, Streszcz., Abstr.
SzczegółyLink