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

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.

---

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 α-iagramem aktywności a α i s-sieciami jest użyteczna do modelowania procesów produkcyjnych.