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
Pages
14
From page
1042
To page
1055
Keywords
Supervisory control , Petri Nets , unfolding.
Journal title
IEEE Transactions on Automatic Control
Serial Year
2002
Journal title
IEEE Transactions on Automatic Control
Record number
386256
Link To Document