@article {IOPORT.04113966,
    author       = {Banaszak, Zbigniew},
    title        = {Control oriented models of interprocess cooperations.},
    year         = {1988},
    journal      = {Systems Science},
    volume       = {14},
    number       = {2},
    issn         = {0137-1223},
    pages        = {31-59},
    publisher    = {Wroc\l aw University of Technology Press, Wroc\l aw},
    abstract     = {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.},
    identifier   = {04113966},
}