Bobbio, Andrea, and Miklós Telek. 1997. “TRANSIENT ANALYSIS OF A PREEMPTIVE RESUME M D L 2 2 THROUGH PETRI NETS”. Periodica Polytechnica Electrical Engineering 41 (2):123-46.