For the most recent entries see the Petri Nets Newsletter.

Specification des systemes paralleles: Le langage L et son environnement.

Behm, P.; Dagron, N.; Ermine, F.

In: Revue Technique Thomson - CSF, Vol. 19, No. 2, pages 213-247. June 1987.

Abstract: The aim of this paper is the definition of a specification environment for concurrent systems. In the first part of this paper, a concurrent processes model is introduced: a process is a sequential program; processes can communicate by exchanging messages. In the second part, the specification language (L) is defined. An L program is translated into the Petri net formalism; by the analysis of the generated net, some results for the given specification can be shown.

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

Back to the Petri Nets Bibliography