Se você procura uma ferramenta para descrever sistemas concorrentes, conheça e veja como instalar o Renew no Linux via Flatpak.
Renew(The Reference Net Workshop) é um editor e simulador de multiformalismo baseado em Java que fornece uma abordagem de modelagem flexível baseada, mas não limitada a, redes de referência.
As redes de Petri são um meio bem estabelecido para descrever sistemas concorrentes. Ao longo dos anos, numerosas extensões ao formalismo básico foram propostas para dar conta de tipos de dados abstratos, orientação a objetos, hierarquias ou novos tipos de arcos.
Entre eles está o formalismo de redes de referência, onde tokens podem ser referências a objetos arbitrários, especialmente outras redes, permitindo assim modelos de redes aninhadas.
Ele permite inscrições Java, possui tipos Lista e Tupla integrados, oferece teste, inibidor e arcos flexíveis e possui um poderoso mecanismo de sincronização.
Como instalar o editor Renew no Linux via Flatpak
Para instalar o editor Renew no Linux via Flatpak você precisa ter o suporte a essa tecnologia instalado em seu sistema. Se não tiver, use o tutorial abaixo para instalar:
Como instalar o suporte a Flatpak no Linux
Por usar a tecnologia Flatpak, é possível instalar o aplicativo no Ubuntu, Fedora, Debian, openSUSE, e todas as distribuições que suportam esse formato, usando esse tutorial.
Depois, você pode instalar o editor Renew no Linux via Flatpak, fazendo o seguinte:
Passo 1. Abra um terminal;
Passo 2. Use o comando abaixo para instalar o programa via Flatpak. Tenha paciência, pois muitas vezes pode demorar vários minutos para que o Flatpak faça o download de tudo o que precisa;
flatpak install --user https://flathub.org/repo/appstream/de.renew.Renew.flatpakrefPasso 3. Para atualizar o programa, quando uma nova versão estiver disponível, execute o comando:
flatpak --user update de.renew.RenewPronto! Agora, quando quiser iniciar o programa, digite flatpak run de.renew.Renew em um terminal.
Você também pode tentar iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite renew ou em um terminal, seguido da tecla TAB.
Como desinstalar
Depois, se for necessário, para desinstalar o editor Renew no Linux via Flatpak, faça o seguinte:
Passo 1. Abra um terminal;
Passo 2. Desinstale o programa, usando o seguinte comando no terminal:
flatpak --user uninstall de.renew.RenewOu
flatpak uninstall de.renew.Renew