Branching Time Bounded Model Checking for Elementary Net Systems