For the most recent entries see the Petri Nets Newsletter.

Concurrent Processes with Synchronization: Net and Algebraic Approach.

Cherkasova, L.A.; Filurin, S.

In: Lecture Notes in Computer Science, Vol. 363: Logic at Botik'89, Proc. of the Symposium on Logical Foundations of Computer Science, pages 63-80. Springer-Verlag, 1989.

Also in: Kotov, V. E.: Methods of Theoretical and Experimental Computer Science, pages 107-128. Novosibirsc: Academy of Sciences, Siberian Division, Computing Center, 1989.

Abstract: The paper consists of two parts: The first one deals with the net formalism (OS-nets) to specify concurrent processes with synchronization; the second part of the paper is devoted to the algebra of finite concurrent processes and its axiomatization.

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

Back to the Petri Nets Bibliography