Some methods for transforming sequential processes into concurrent ones

Authors: Hoang, Chi Thanh
Keywords: net system;reliance alphabet;trace language;maximal concurrent steps;case graph
Issue Date: 2007
Publisher: H. : ĐHQGHN
Series/Report no.: Vol. 23;No. 2 (2007)
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, shift-left and case graphs. They are also presented by detail algonthms and can be applied to other models of concurrent systems.
Description: p. 113-121
ISSN: 2588-1124
Appears in Collections:Mathematics and Physics

Nhận xét