Tracking control of electro-pneumatic systems based on Petri Nets Academic Article in Scopus