A framework for the efficient Petri net simulation of real-time systems | IEEE Conference Publication | IEEE Xplore