Identyfikatory
Warianty tytułu
Functional notation of the Object-Observable Petri Net and its application in modelling of flexible manufacturing systems
Konferencja
Automatyzacja procesów dyskretnych/krajowa konferencja (XII ; 13-16.09.2000 ; Zakopane)
Języki publikacji
Abstrakty
W artykule przedstawiono zapis Obiektowo Obserwowalnej Sieci Petriego za pomocą funkcji Pre i Post oraz zależności pozwalające na wyznaczenie zmian oznakowania sieci po wzbudzeniu jednego przejścia lub zadanego ciągu przejść. Zależności te zapisano również w odniesieniu do Obiektowo Obserwowalnej Kolorowej Sieci Petriego. W pracy przedstawiono krótki opis opracowanego programu komputerowego, który umożliwia tworzenie modelu na podstawie proponowanej definicji sieci Petriego, jego edycji i symulacji zamodelowanego systemu.
The paper presents functional notation of Object Observable Petri Net by means of Pre and Post functions. Formulas which describe how the marking of a net changes after firing either a single transition or a set of transitions are presented. These formulas are also applied to Coloured Object Observable Petri Net. A short description of the computer program, which enables creation, editing and simulating models based on the proposed definitions is included.
Rocznik
Tom
Strony
41--50
Opis fizyczny
Bibliogr. 3 poz.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BSL6-0005-0004