Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor