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
In: Journal of computer and system sciences : JCSS
Band: 76
Heft: 2
Seite(n)/Artikel-Nr.: 125-143
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
Identifikationsnummern
- DOI: 10.1016/j.jcss.2009.06.003
- RWTH PUBLICATIONS: RWTH-CONV-220784