A Petri-Net based model for PBS System on an Linux Enterprise Server