In: Vychisl. Sist., Vol. 122, pages 97-109. 1987. In Russian.
Abstract: A logical approach to the description of generalized processes is considered. The aim is to eliminate certain contradictions between the description of processes using Petri nets and the logical methods of verification of its correctness. It differs from the approaches of dynamic logics, process logic and temporal logic. The syntax includes ``alternative'' and ``predecessing''. The authors differentiate global and local properties of processes (taking place for all and some realizations, respectively).
Keywords: logical approach; generalized process; process logic; global property (of processes) local property (of processes).
Back to the Petri Nets Bibliography