event actors event-driven architecture petri nets verification scalability flexibility substitutability
See more