Distributed Colored Petri Net Simulation - Synchronized Transitions Based on Event Streaming. | AMiner