Modeling and control of discreteevent dynamical systems [electronic resource] :

ThementionedlecturesandthisbookparticularlyconcentrateonPetrinetsandtheiruseinthemodellingandcontroldesignforDEDS.TheyserveasabasisforextendingtoothertoolsandapproachessuchasGrafcet,statecharts,supervisorycontroltheoryandjobscheduling.Thetextbookcontainsthenecessarymathematicsandcom