Kees M. van Hee Alexander Serebrenik Natalia Sidorova Wil M. P. van der Aalst Working with the Past: Integrating History in Petri Nets. 387-409 2008 88 Fundam. Inform. 3 http://iospress.metapress.com/content/e436623u05mw91x8/ db/journals/fuin/fuin88.html#HeeSSA08