Control problem on timed place/transition nets
p. 48-55
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
H. : ĐHQGHN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/57827 |
| 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-57827 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-578272017-09-30T19:53:58Z Control problem on timed place/transition nets Hoang, Chi Thanh Petri net control composition concurrency safety aliveness and concurrent step p. 48-55 Design, analysis and control of large system s are complicated because of their state space explosion and behaviours. In this paper we solve the control problem on Timed Place/Transition nets by piopoòing a concurrent composition, which is a good solution for system s design. We also show that the safety and aliveness of Timed Place/Transition nets arc preserved by the controller. Increase of concurrency in composed Timed Place/Transition nets is also considered. 2017-08-23T02:04:16Z 2017-08-23T02:04:16Z 2004 Article 2588-1124 http://repository.vnu.edu.vn/handle/VNU_123/57827 en Vol. 20;No. 4 (2004) application/pdf H. : ĐHQGHN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Petri net control composition concurrency safety aliveness and concurrent step |
| spellingShingle |
Petri net control composition concurrency safety aliveness and concurrent step Hoang, Chi Thanh Control problem on timed place/transition nets |
| description |
p. 48-55 |
| format |
Article |
| author |
Hoang, Chi Thanh |
| author_facet |
Hoang, Chi Thanh |
| author_sort |
Hoang, Chi Thanh |
| title |
Control problem on timed place/transition nets |
| title_short |
Control problem on timed place/transition nets |
| title_full |
Control problem on timed place/transition nets |
| title_fullStr |
Control problem on timed place/transition nets |
| title_full_unstemmed |
Control problem on timed place/transition nets |
| title_sort |
control problem on timed place/transition nets |
| publisher |
H. : ĐHQGHN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/57827 |
| _version_ |
1680966403803316224 |