Some methods for transforming sequential processes into concurrent ones

Abstract

In this paper we investigate and build up three methods for transforming sequential processes of a net system into concurrent ones. These methods are based on: trace languages, shiftleft and case graphs. They are also presented by detail algorithms and can be applied to other models of concurrent systems.