GitHub repository: juanjoarce7456/petri_event_dispatcher
Primary language: Java
Description: Java framework for dispatching events from and to java petri engine (github: airabinovich/java_petri_engine)