Um gráfico é um conceito bem definido nas disciplinas de matemática, ciência da computação e engenharia que dependem delas. No entanto, muitas vezes uma implementação prática de um gráfico (direcionado) em um determinado domínio ou aplicativo exige que as arestas não conectem apenas vértices, mas conectem portas que existem nesses vértices. Em um gráfico direcionado, isso implicaria separação entre portas de entrada e portas de saída, em que normalmente uma borda inicia em uma porta de saída e chega a uma porta de entrada.
É fácil encontrar exemplos: ferramentas de design de sombreador, gráficos de fluxo de sinal na teoria dos compiladores, esquemas eletrônicos, scripts ETL de alto nível ... todas essas ferramentas exigem que os vértices tenham nomes ou entradas e saídas distintas.
Agora, para minha pergunta: existe alguma teoria e nomenclatura nesses tipos de gráficos ou isso é considerado um "problema de implementação" das ciências da engenharia? Como você percebe na minha pergunta, não consigo identificar exatamente como esse tipo de coisa é chamado ("Um gráfico com portas de nós"), e eu adoraria ver isso respondido.