Performance Evaluation Using Extended Petri Nets