1) in my model 5 types of labels are created the problem is how to make the flow such that the token move to the first available counter , but at the same time one token should enter into the counter for processing for this i use push pull strategy for allowing only one token to enter into each counter but the push pull strategy is not working it pulls the token but not pushing the token how to rectify this problem .i have attach my model for your referenceairport-pf-model.fsm
thank you