In: Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica, 6; Vol. 20, No. 4, pages 91-101. 1987.
Abstract: The analysis and synthesis of discrete dynamic systems require knowledge of interdependences between structural properties of systems and processes generated by the systems. To study these interdependences it is convenient to specify both systems and processes in terms of nets. This paper aims to generalize the notion of process, allowing it to contain alternative actions which mutually exclude each other. The structural properties of nets specifying such generalized processes with alternatives are studied.