Title of article
Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
Author/Authors
X. Xie and A. Giua، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
3
From page
1217
To page
1219
Journal title
IEEE Transactions on Automatic Control
Serial Year
2004
Journal title
IEEE Transactions on Automatic Control
Record number
386471
Link To Document