Implementing Timed Petri net for Modeling and Simulation in Card Gameplay