ACS Applied Computer Science

  • Increase font size
  • Default font size
  • Decrease font size

TOWARDS AUTOMATED SYNTHESIS OF CONCURRENT CONTROL PROGRAMS

One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.