For the most recent entries see the Petri Nets Newsletter.

A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.

de Cindio, F.; de Michelis, G.; Pomello, L.; Simone, C.

In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 222-236. Berlin, Heidelberg, New York: Springer-Verlag, 1988.

Abstract: In this paper a new equivalence notion for concurrent systems is introduced: namely Exhibited Functionality- (EF-) equivalence. EF-eqivalence is defined in terms of observable global states transformations. Its main characteristics is that it takes into account the structure of the global states of the system in terms of the local states of its components.

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

Back to the Petri Nets Bibliography