Boa tarde Abílio, Eu uso a biblioteca tikz, tem bastante coisa, se quiser te passo em privado alguns modelos que tenho de autômatos.. já uso há bastante tempo! Vai aqui um tutorialzinho de como usar: https://www3.nd.edu/~kogge/courses/cse30151-fa17/Public/other/tikz_tutorial.pdf mas se quiser te passo uns modelinhos meus, sem problema algum!
Atenciosamente, Profª. Letícia Gindri UNIPAMPA - Campus Alegrete Avenida Tiaraju 810, sala 229 - Ibirapuitã - Alegrete/RS Fone/Fax: (55) 3421-8400 Em qui, 15 de ago de 2019 às 16:00, Abílio <abilio.rodrig...@gmail.com> escreveu: > Prezadxs, > Estou precisando representar modelos de Kripke no latex. > Alguem me daria uma sugestao? > Abracos > Abilio > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bng-b3XpyqimfX9m9rUbuhhjQ4gCa%2Bzd5SXst2qBRvOE6_WoQ%40mail.gmail.com.