Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2011 - zeszyt 11

Modification of Petri nets modeling production processes when quality control is introduced

nr katalogowy: 63920

Petri nets can be used as a model of production processes, as far as such processes often contain the steps which can be executed in parallel. Such modeling can serve for optimization and verification of production processes, because a wide range of existing methods of Petri net analysis can be applied. Adding to a production process the steps in which quality control is performed requires changes in the modeling net to keep it well-formed. Such modifications are the topic of the article. The production processes are modeled by s-nets and -nets. Streszczenie. Sieci Petriego, jako formalny model procesów współbieżnych, doskonale nadają się do optymalizacji i weryfikacji procesów produkcyjnych. Wykorzystane w tym celu metody redukcji oraz analizy sieci pozwalają zbadać czy sieć jest dobrze zbudowana a tym samym czy proces produkcyjny będzie poprawnie realizowany również po wprowadzeniu pośrednich punktów kontroli jakości w wyniku czego może wystąpić konieczność przeprowadzenia modyfikacji. Do odwzorowania rzeczywistych procesów produkcyjnych zastosowane zostały s i  - sieci. (Modyfikacje sieci Petriego modelujących procesy produkcyjne po wprowadzeniu punktów kontroli jakości). Słowa kluczowe: sieci Petriego, -sieci, s-sieci, proces produkcyjny. Keywords: Petri nets, -nets, s-nets, production process. Introduction Petri nets [1,2,3] can be used for modeling, analysis and verification of a wide range of parallel processes, especially asynchronous ones. Among others, they can be applied to formal verification of the production processes [4,5]. A correct production process should have no deadlocks, should never try to initialize again an operation which is already active, and should be cyclic. That means that a Petri net which models such process should be well-formed. There are various methods which allow to check whether a net is well-formed and, if it is not, to diagnose its defect. When the quality contro[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 63920 "Modification of Petri net..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2011-11 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2011-11

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma