Reduction Rules for Reset/Inhibitor Nets

Verbeek, H. M. W.; Wynn, M. T.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

(2010)
Journal Article

In: Journal of computer and system sciences : JCSS
Volume: 76
Issue: 2
Page(s)/Article-Nr.: 125-143

Identifier