SOME ASPECTS OF LOGICAL CONTROL SYSTEMS DESIGN USING PRALU

Problems under consideration are connected with computer aided design of control devices controlling concurrent processes. A method is proposed that transforms a description of a parallel control algorithm on extended version (having no direct FSM analogues) of PRALU language into a description on basic version of PRALU language allowing automaton implementation.