Timed Petri NetModel for PerformanceAnalysis