Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore