Crazzolaraand Winskel. Petri Nets with Persistence. Elsevier BV, 2005, doi:10.1016/j.entcs.2004.10.012.