Browsing by Subject safety

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 194.pdf.jpg
  • Article


  • Authors: Hoang, Chi Thanh (2004)

  • 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.

Browsing by Subject safety

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 194.pdf.jpg
  • Article


  • Authors: Hoang, Chi Thanh (2004)

  • 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.