Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2011 - zeszyt 12a

Why alfa-activity diagrams, alfa-nets and s-nets are good models of production processes?

Agnieszka LASOTA

nr katalogowy: 64231

The paper proposes combined use of UML and Petri nets to model production processes which can be useful for designers of production processes in any area of industry. Modeling, analysis and verification of a wide range of parallel processes is important for the correct production process which should be cyclic. The formal verification allows to check whether the process is well-formed. The paper describes why transformation of -activity diagram into -net is useful to modeling of production processes. Applying s-nets to modeling of such processes is also discussed. Streszczenie. Połączenie dwóch znanych metod modelowania, języka UML i sieci Petriego, do modelowania procesów produkcyjnych pozwoli zintegrować grupy robocze reprezentujące odmienne dziedziny nauki poprzez jeden spójny język wymiany informacji. Modelowanie, analiza i weryfikacja współbieżnych procesów produkcyjnych ma na celu zapewnienie ich cyklicznej realizacji. Artykuł przedstawia dlaczego transformacja pomiędzy -diagramem aktywności a  i s-sieciami jest użyteczna do modelowania procesów produkcyjnych. (Dlaczego -diagramy aktywności, -sieci i s-sieci są właściwe do modelowania procesów produkcyjnych?). Słowa kluczowe: procesy produkcyjne, -diagramy aktywności, s-sieci, -sieci. Keywords: production processes, -activity diagrams, s - nets,  - nets Introduction Already in the 1980ths Petri nets [1] were used for modeling of production processes [2]. A wide range of Petri net classes defined since 1970ths [3][4] allow to model, analyze and verify various event systems, parallel and sequential. UML modeling language, since it has become developed enough, is also used for modeling of production processes [5]. Experience of the engineers has shown that analysis of such processes requires object approach to the problem. On the other hand, formal methods of analysis are not developed well for the objec[...]

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

Publikacja


e-Publikacja (format pdf) - nr 64231 "Why alfa-activity diagram..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2011-12a 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-12a

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma