net system reliance alphabet trace language maximal concurrent steps case graph
Issue Date:
2007
Publisher:
ĐHQGHN
Citation:
VNU Journal of Science, Mathematics - Physics 23 (2007) 113-121
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.
Description:
VNU Journal of Science, Mathematics - Physics. Vol. 23 (2007), No 2, P. 113-121
