Modelowanie wspomagane przez czasowe sieci Petriego

• Autorzy: Szymczyk P.

Warianty tytułu

EN

Modelling aided by timed Petri Net

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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

PL

czasowe sieci Petriego; sieci Petriego

EN

Petri net

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 1999
• Tom: T. 3, z. 1
• Strony: 329--335
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Szymczyk P.

• Katedra Automatyki, Akademia Górniczo-Hutnicza