Transforming event graphs to colored Petri nets.

Daesik Kim, Abbas K. Zaidi

Browse the full SMC paper archive.