مرکز منطقه ای اطلاع رساني علوم و فناوري - An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets

Title of article :

An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets

Author/Authors :

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

Issue Information :

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

Pages :

From page :

1613

To page :

1615

Keywords :

Discrete event dynamic systems , Supervisory control , Petri nets.

Journal title :

Automatica

Serial Year :

1998

Journal title :

Automatica

Record number :

368704

Link To Document :