Petri net applications: Modeling software, hardware, and other systems with this powerful tool | IEEE Journals & Magazine | IEEE Xplore