A visual token-based formalization of BPMN 2.0 based on in-place transformations

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Workflow Patterns

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski et al. · Distributed and Parallel Databases · 2003 · 2.6K citations · Full text

A Taxonomy of Model Transformation

Tom Mens, Pieter Van Gorp · Electronic Notes in Theoretical Computer Science · 2006 · 880 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +16

Semantics and analysis of business process models in BPMN

Remco Dijkman, Marlon Dumas, Chun Ouyang · Information and Software Technology · 2008 · 593 citations

Business, Information Systems, Business Process Management +10

Graph-grammars: An algebraic approach

Hartmut Ehrig, Michael Pfender · 1973 · 488 citations

Computing, Computer Science, Mathematics +15