VNU

JOURNAL OF SCIENCE Nat Sci

& Tech.. T XIX. N(,4. 2003

C H E C K IN G PA R A L L E L R E A L -T IM E S Y S T E M S F O R T E M P O R A L
D U R A T IO N P R O P E R T IE S B Y L IN E A R P R O G R A M M IN G *
P h am Hong T hai
Fncuỉtv o ỉ Technology, V irtnam National ưnivrrsity. lỈHiìoi

A b s tr a c t.

Mnđrl
(

X V y 2 X y s is

.1

linite set of transitions.

I 6 / (NíMallrđ an a-labdlrd nl#*) reprr.srnts a transition

If\ ,íi. rế .

Ironi lo c atio u .s tu lu c atio n s' \villi lỉilii'1 í/: .s a n d
ol

an* callod s o u rro a n d íar*»(*t lo ra tio n

a n d d o u n tc d by scm rcr(r) aixl targịy(ilyr M.s')(/ = 1,2) are transitions of E \ , E 2 .
•

If «1

•

If

=
Ể Ej

0 ^ 2