TY - JOUR AU - Corina Bocăneală PY - 2019/11/28 Y2 - 2024/03/29 TI - Workflow nets for flexible manufacturing systems JF - Analele Universității ”Dunărea de Jos” din Galați. Fascicula II, Matematică, fizică, mecanică teoretică / Annals of the ”Dunarea de Jos” University of Galati. Fascicle II, Mathematics, Physics, Theoretical Mechanics JA - math VL - 42 IS - 2 SE - Articles DO - https://doi.org/10.35219/ann-ugal-math-phys-mec.2019.2.09 UR - https://www.gup.ugal.ro/ugaljournals/index.php/math/article/view/2403 AB - Since the sixties, the industry has begun an accelerated process of automation, which has led to the need for analysis, definition, modeling and management of the workflows for the manufacturing processes. A flexible manufacturing system (FMS) is an automatized system which includes automatic equipments for quick and correct operations, handling of products and materials and who includes computerized control for activities. Due to the complexity of these systems, the necesity  to verify their correctness theoretically by mathematical methods before being implemented in practice is obvious. A workflow net (WF net) is a mathematical model, based on Petri nets, for workflow modeling. This paper wants to emphasize the advantages of using WF nets for describing FMSs and to show how this can be realized. ER -