مرکز منطقه ای اطلاع رساني علوم و فناوري - Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”

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 :

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 :