Translating Structural Process Properties to Petri Net Markings | IEEE Conference Publication | IEEE Xplore