For the most recent entries see the Petri Nets Newsletter.

Algorithm of Live and Conflict-Free Petri Nets Synthesis for Prescribed System Performance.

Banaszak, Zbigniew; Abdul-Hussin, Mowafak H.

In: Engineering and Technology, Vol. 17, No. 2, pages 154-173. Baghdad, Iraq: University of Technology, 1998.

Abstract: In this paper, we deal with a problem of automatic modelling of cyclic and sequential processes. Such a task occur during the supervisory procedure designing for the system components synchronization along the process performance. The control procedure of system components sequencing can be modelled using Petri nets language. Prescribed properties of processes to be considered allow us to conduct the discussion on the class of the simple and strongly repetitive Place/Transition nets (PT-nets) basis. According to the assumptions that each system component is related to some transition in PT-net and that the order of such distinguished transitions i the firing sequence corresponds with the order of system components activation, the proper algorithm of PT-net model synthesis is developed.

Some applications of the submitted results to the automatic modelling of the control procedure for the industrial sequencer are discussed. Moreover, a short example of algorithm performance is presented.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography