Projektowanie strukturalnych programów dla sterowników PLC na podstawie modelu maszyny stanowej UML