For the most recent entries see the Petri Nets Newsletter.

Concurrent Nondeterministic Processes: Adequacy of Structure and Behaviour.

Cherkasova, Ludmila A.; Kotov, Vadim E.

In: Kreczmar, A.; et al.: Lecture Notes in Computer Science, Vol. 379; Mathematical Foundations of Conputer Science 1989, pages 67-87. Springer-Verlag, 1989.

Abstract: The theory of Petri nets establishes a model of concurrency without a calculus for verification of statements about processes. The algebra of finite processes AFPi proposed in this paper is intended to combine the mechanism for the description of nondeterministic concurrent processes and the derivation of their behavioural properties. In AFPi, specifying the structural relation between process elements (ie a process structure), the author defines a process with the same behavioural properties.

Keywords: nondeterministic process; algebra (of) finite processes.

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

Back to the Petri Nets Bibliography