For the most recent entries see the Petri Nets Newsletter.

Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems.

Dillon, L.K.; Avrunin, G.S.; Wiledon, J.C.

In: ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, pages 374-402. 1988.

Abstract: In this paper the authors present a basis for broadly applicable analysis methods for distributed software systems. It is shown how constrained expression representations are obtained from descriptions of systems in three different notations: SDYMOL, CSP, and Petri nets. Features of these three notations span most of the significant alternatives for describing distributed software systems.

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

Back to the Petri Nets Bibliography