Petri Nets in Design of Control Algorithms.- Synthesis and Implementation of Parallel Logic Conrollers in All Programmable Systems-on-Chip.-...