Petri net simulator example for the new VIATRA API
Example relies on
- EMF-IncQuery 0.9.0 milestones, including EMF-IncQuery Viewers
- Newest VIATRA EMF API
The Petri net simulator consists of a simple petri net model, a set of queries and rules, and viewers integration.