مرکز منطقه ای اطلاع رساني علوم و فناوري - On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions

Title of article :

On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions

Author/Authors :

Sreenivas، نويسنده , , R.S.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

1221

To page :

1225

Keywords :

DEDS , Liveness , supervisory control. , Petri nets

Journal title :

IEEE Transactions on Automatic Control

Serial Year :

1999

Journal title :

IEEE Transactions on Automatic Control

Record number :

385273

Link To Document :