Reduction rules for reset/inhibitor nets

H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci., 76(2):125-143, 2010. [doi]

Abstract

Abstract is missing.