event actors event-driven architecture petri nets verification scalability flexibility substitutability
Tout plus