مرکز منطقه ای اطلاع رساني علوم و فناوري - On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement

Title of article :

On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement

Author/Authors :

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

Issue Information :

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

Pages :

From page :

173

To page :

177

Keywords :

DEDS , Liveness , Petri nets.

Journal title :

IEEE Transactions on Automatic Control

Serial Year :

1999

Journal title :

IEEE Transactions on Automatic Control

Record number :

385122

Link To Document :