Email Record: A primer in Petri net design /