id: 04113966
dt: j
an: 04113966
au: Banaszak, Zbigniew
ti: Control oriented models of interprocess cooperations.
so: Syst. Sci. 14, No.2, 31-59 (1988).
py: 1988
pu: Wrocław University of Technology Press, Wrocław
la: EN
cc: 
ut: concurrent processes; Petri net representation; synchronization
ci: 
li: 
ab: Summary: The interactions that take place in cooperation of parallel
    processes are concurrent, non-deterministic and difficult to analyse.
    In order to find out the strategies of concurrent processes
    interactions, the Petri net representation is used. In particular, the
    classes of Petri nets corresponding to typical patterns of production
    processes are introduced. The nets proposed provide a suitable
    framework for searching dynamic properties of admissible controls.
    Special attention is paid to the synchronization mechanism involved in
    the control procedures aimed at the cooperation of deadlock-free
    processes. The results obtained can be directly applied to designing
    real-time controllers (in the flexible manufacturing systems) as well
    as in designing planning systems of computer-assisted process.
rv: