Proposal for Petri Nets Utilisation in the Control of Mechatronic Systems with OPC UA Support | IEEE Conference Publication | IEEE Xplore