@ARTICLE{Patalas-Maliszewska_Justyna_Design_2022, author={Patalas-Maliszewska, Justyna and Wiśniewski, Remigiusz and Topczak, Marcin and Wojnakowski, Marcin}, volume={70}, number={2}, journal={Bulletin of the Polish Academy of Sciences Technical Sciences}, pages={e140693}, howpublished={online}, year={2022}, abstract={In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large invest-ments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing produc-tion process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.}, type={Article}, title={Design optimization of the Petri net-based production process supported by additive manufacturing technologies}, URL={http://ochroma.man.poznan.pl/Content/122716/PDF-MASTER/BPASTS_2022_70_2_2579.pdf}, doi={10.24425/bpasts.2022.140693}, keywords={additive manufacturing technology, manufacturing processes, Petri nets, process modelling, verification, validation, optimization of production process supported by AM technologies}, }