Vertaling van "petri nets" in Pools
Software engineering, use of Petri nets.
Inżynieria oprogramowania, zastosowanie sieci Petriego.
Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
Ich popularność wynika z faktu, że sieci Petriego oddają podstawowe aspekty przyczynowości, współbieżności i wyboru w naturalnie i matematycznie precyzyjny sposób bez uszczerbku dla czytelności.
Petri nets are a type of mathematical modeling language used in distributed systems.
Sieci Petriego to typ języka modelowania matematycznego wykorzystywany w systemach rozproszonych.
Abstract: Petri nets are often used to simulate different types of systems.
Streszczenie: Sieci Petriego często używane są do symulacji systemów różnego typu.
As an analytical method used method of minimal pathways malfunction, while the simulation method was based on the theory of extended Petri nets.
Jako metodę analityczną zastosowano metodę minimalnych ścieżek niesprawności, natomiast metoda symulacyjna bazowała na teorii rozszerzonych sieci Petriego.
Key words: Petri nets, -nets, s-nets, production process.
Słowa kluczowe: sieci Petriego, -sieci, s-sieci, proces produkcyjny.
Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification.
Sieci Petriego zyskują w tej dziedzinie coraz większą popularność, gdyż zapewniają jednolity język obsługujący zadania modelowania, zatwierdzania i weryfikacji.
Petri nets (PNs) belong to mathematical modeling languages and are used in science and technology.
Sieci Petriego należą do matematycznych języków modelowania, są używane w nauce i technice do reprezentowania oraz analizy skomplikowanych układów.
Key words: main supply points, switchgear station, reliability, reliability models, the minimum path of disability, Petri nets.
Słowa kluczowe: stacje GPZ, rozdzielnie sieciowe RS, niezawodność, modele niezawodnościowe, minimalne ścieżki niesprawności, sieci Petriego.
During classes, students learn the principles of documenting business processes in BPMN 2 notations, process modeling using Petri nets.
W toku zajęć poznaje się zasady dokumentowania procesów biznesowych w notacjach BPMN, modelowania procesów z wykorzystaniem sieci Petriego.
Key words: adaptive regulator, Petri competitive layer, Petri Nets, electric drive
Słowa kluczowe: regulator adaptacyjny, konkurencyjne warstwy Petriego, sieci Petriego, napęd elektryczny.
The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Format pliku do zapisywania i wczytywania sieci Petriego jest rozszerzalny poprzez zastosowanie XSLT, domyślny jest PNML.
Key words: modelling of manufacturing systems, flexible job shop, timed colored Petri nets, CPN Tools
Słowa kluczowe: modelowanie systemów produkcji, elastyczny system gniazdowy, czasowe kolorowane sieci Petriego, CPN Tools