Artificial Digital Photo Copier Event Log

Abstract

Artificial event log for a digital photo copier. Used in a demo paper accepted at the CAiSE 2011 Forum. This paper is also to accepted for publication in the CAiSE 2011 Forum post-proceedings, which is to be published as a volume in Springer's LNBIP series (see http://www.springer.com/series/7911)