Reduction Rules for Reset/Inhibitor Nets

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

Journal Article

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


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]