Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/57770
Title: “Shift-Left” Algorithms transforming sequential processes into concurrent ones
Authors: Hoang, Chi Thanh
Keywords: Reliance alphabet;trace;Petri net;concurrent step
Issue Date: 2006
Publisher: H. : ĐHQGHN
Series/Report no.: Vol. 22;No. 2 (2006)
Abstract: Finding concurrent processes of a system is an objective of system controls, because it shows an optimal way to perform processes. In this paper we build two iterative algorithms for transforming sequential processes of a reliance alphabet and of a Place/Transition net into concurrent ones. The complexity of these algorithms is also considered.
Description: p. 55-64
URI: http://repository.vnu.edu.vn/handle/VNU_123/57770
ISSN: 2588-1124
Appears in Collections:Mathematics and Physics

Files in This Item:
Thumbnail

  • File : 175.pdf
  • Description : 
  • Size : 3.87 MB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.