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) [Fachzeitschriftenartikel]

Journal of computer and system sciences : JCSS
Band: 76
Ausgabe: 2
Seite(n): 125-143

Identifikationsnummern