Systems-oriented topics: Petri Nets based automation of manufacturing systems