Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore