Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Modelling aided by timed Petri Net
Języki publikacji
Abstrakty
W pracy przedstawiono czasowe rozszerzenia sieci Petriego oraz możliwości ich zastosowania do modelowania różnego rodzaju systemów. Zostało zamieszczone również ich porównanie oraz metody weryfikacji niektórych własności czasowych sieci Petriego.
This paper presents several different time extension of classic Petri Net with comparision. There are described method of checking properties of Timed Petri Net.
Słowa kluczowe
Wydawca
Rocznik
Tom
Strony
329--335
Opis fizyczny
Bibliogr. 6 poz.
Twórcy
autor
- Katedra Automatyki, Akademia Górniczo-Hutnicza
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-AGH1-0032-0032