For the most recent entries see the Petri Nets Newsletter.

Connection of the Network and Logical Approaches to Description of Processes.

Kotov, V.E.; Cherkasova, L.A.

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).

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

Back to the Petri Nets Bibliography