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
URI:	http://repository.vnu.edu.vn/handle/VNU_123/57471
ISSN:	2588-1124
Appears in Collections:	Mathematics and Physics