Performance Evaluation of ATM Switch Architectures using Stochastic Petri Nets