event actors event-driven architecture petri nets verification scalability flexibility substitutability
Mehr anzeigen