Title of article :
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods
Author/Authors :
He، نويسنده , , K.X.، نويسنده , , Lemmon، نويسنده , , M.D.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
Supervisory control , Petri Nets , unfolding.
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
