Modelowanie mechanizmu dostępu procesów współbieżnych do wspólnych zasobów

• Autorzy: Jamróż L. , Raszka J.

Warianty tytułu

FR

Modelling of access mechanism of concurrent processes to common resources

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono model wybranej klasy Elastycznego Systemu Produkcyjnego. W systemie tym występujące procesy są cykliczne i współbieżne. Model systemu sformułowany w terminach MaxPlus algebry i czasowych sieci Petriego umożliwia w sposób analityczny badać własności jego zachowania się. Dynamika systemu opisana jest za pomocą liniowych równań rekurencyjnych sformułowanych w oparciu o MaxPlus algebrę. Reprezentacja sieciowa modelu w postaci czasowych sieci Petriego umożliwia obserwację zachowania się systemu, badania oraz interpretowania jego własności: żywotności, osiągalności stanów i ograniczoności. Procedury do symulacji dynamiki systemu zbudowane są na bazie czasowych sieci Petriego. Mechanizm synchronizacji zapewniający bezblokadowy przebieg procesów oparty jest na protokole "wzajemnego wykluczania", ulokowany na poszczególnych zasobach gwarantuje zachowanie żywotności sieci Petriego.

EN

A model to describe certain classes of Flexible Manufacturing System is presented. This model is useful to analyse concurrent and repetitive production processes. The periodic behavior can be analytically characterized by algebraic concepts. The MaxPlus algebra and timed Petri net are selected as a modelling formalism. An algebraic framework for this model exists in the theory MaxPlus algebra in which the dynamical behavior of system is captured by set of linear recurrence equations. The timed Petri net approach yields useful information about how to control flow of production in an FMS. Petri net containing cycles which express repeated sets of activities. The processes cooperation facility such as mutual exclusion is selected. Analysis of the timed Petri net can reveal important information about the structure and behavior of the system. The properties of timed Petri net model include liveness, reachability and boundedness.

Słowa kluczowe

PL

sieci Petriego; elastyczny system produkcyjny

EN

Petri net; flexible manufacturing system

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

Twórcy

autor

Jamróż L.

autor

Raszka J.

• Uczelniane Centrum Komputerowe Politechniki Krakowskiej