Workflow nets for flexible manufacturing systems

  • Corina Bocăneală "Dunarea de Jos" University of Galati, Romania
Keywords: workflow nets, flexible manufacturing systems, modelling, soundness


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.


Download data is not yet available.

Author Biography

Corina Bocăneală, "Dunarea de Jos" University of Galati, Romania

”Dunarea de Jos” University of Galati, Faculty of Sciences and Environment, Department of Mathematics and Computer Science, 47 Domneasca St., RO-800008, Galati, Romania

How to Cite
Bocăneală, C. (2019) “Workflow nets for flexible manufacturing systems”, 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, 42(2), pp. 183-186. doi: