Szczegóły publikacji

Opis bibliograficzny

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.

Autor

Dane bibliometryczne

ID BaDAP3824
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
#3869Data dodania: 18.4.2001
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.
fragment książki
#11505Data dodania: 3.2.2003
Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego — Real-time system modelling – timed Petri nets approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 45–54. — Bibliogr. s. 53–54, Streszcz., Abstr.