Funkcyjny zapis Obiektowo Obserwowalnej Sieci Petriego w zastosowaniu do modelowania zautomatyzowanych systemów produkcyjnych

• Autorzy: Cyklis J. , Słota A.

Warianty tytułu

EN

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: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

sieć Petriego; Obiektowo Obserwowalna Sieć Petriego; Kolorowa Obiektowo Obserwowalna Sieć Petriego; zautomatyzowane systemy produkcyjne

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Zeszyty Naukowe. Automatyka / Politechnika Śląska
• Rocznik: 2000
• Tom: z. 129
• Strony: 41--50
• Opis fizyczny: Bibliogr. 3 poz.

Twórcy

autor

Cyklis J.

autor

Słota A.

• Instytut Technologii Maszyn i Automatyzacji Produkcji Politechnika Krakowska, 31-864 Kraków, ul. Jana Pawła II 37, tel. [phone]-