Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Zeszyty Naukowe. Automatyka / Politechnika Śląska

1 2000

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Kolorowa Obiektowo Obserwowalna Sieć Petriego

Sortuj według:

Ogranicz wyniki do:

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

Cyklis J., Słota A.

Zeszyty Naukowe. Automatyka / Politechnika Śląska

2000

z. 129

41-50

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.