abstract
- Argues that experimental evidence can complement the formal foundations of Petri-net research. Using algorithm engineering as a methodological guide, the authors discuss examples of empirical contributions and examine validity concerns that arise when evaluating such work.