Matchmaking for business processes based on conjunctive finite state automata