“Shift-Left” Algorithms transforming sequential processes into concurrent ones
p. 55-64
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
H. : ĐHQGHN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/57770 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-57770 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-577702017-09-30T19:48:29Z “Shift-Left” Algorithms transforming sequential processes into concurrent ones Hoang, Chi Thanh Reliance alphabet trace Petri net concurrent step p. 55-64 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. 2017-08-22T07:54:33Z 2017-08-22T07:54:33Z 2006 Article 2588-1124 http://repository.vnu.edu.vn/handle/VNU_123/57770 en Vol. 22;No. 2 (2006) application/pdf H. : ĐHQGHN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Reliance alphabet trace Petri net concurrent step |
| spellingShingle |
Reliance alphabet trace Petri net concurrent step Hoang, Chi Thanh “Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| description |
p. 55-64 |
| format |
Article |
| author |
Hoang, Chi Thanh |
| author_facet |
Hoang, Chi Thanh |
| author_sort |
Hoang, Chi Thanh |
| title |
“Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| title_short |
“Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| title_full |
“Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| title_fullStr |
“Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| title_full_unstemmed |
“Shift-Left” Algorithms transforming sequential processes into concurrent ones |
| title_sort |
“shift-left” algorithms transforming sequential processes into concurrent ones |
| publisher |
H. : ĐHQGHN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/57770 |
| _version_ |
1680964789151465472 |