Modelling Concurrent Behaviors in the Process Specification Language