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. Neste tutorial, saiba como instalar o simulador Renew no Linux, usando pacotes Flatpak.
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.
Siga o tutorial abaixo e instale o Renew agora mesmo no seu Linux.
Saiba instalar o simulador Renew no Ubuntu e derivados!
Para instalar o simulador Renew no Ubuntu, execute o comando abaixo. Vale lembrar que neste processo de instalação, vamos utilizar um pacote flatpak.
Passo 1 – Instalar e ativar o suporte ao Flatpak no Ubuntu, Linux Mint e derivados:
sudo apt install flatpakPasso 2 – Agora, vamos adicionar o repositório Flathub, que é onde vamos baixar e instalar o simulador Renew para seguir com o processo de instalação no Ubuntu, Linux Mint ou derivados:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Agora, precisamos reiniciar o sistema, em seguida, volte neste tutorial e prossiga com a instalação! Para reiniciar você pode utilizar o botão padrão do seu ambiente, ou execute o comando abaixo:
sudo rebootPasso 4 – Execute o comando de instalação do simulador Renew no Ubuntu, Linux Mint e derivados:
flatpak install flathub de.renew.RenewPasso 5 – Comando para executar a aplicação:
flatpak run de.renew.RenewSaiba instalar o simulador Renew no Fedora e derivados!
Para instalar o simulador Renew no Fedora, execute os comandos abaixo. Lembrando que o Fedora já vem com suporte ao Flatpak habilitado, então basta executar os comandos abaixo:
Passo 1 – Execute o comando de instalação do simulador Renew no Fedora:
flatpak install flathub de.renew.RenewPasso 2 – Comando para executar a aplicação:
flatpak run de.renew.RenewSaiba instalar o simulador Renew no Debian e derivados!
Para instalar o simulador Renew no Debian, execute os comandos abaixo:
Notícias Relacionadas
Nota: Caso você já tenha instalado e ativado o Flatpak no Debian, pode pular para o Passo 4.
Passo 1 – Instalar o suporte ao Flatpak no Debian:
apt updateCopiar
apt install flatpakCopiarPasso 2 – Vamos adicionar o repositório do Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Reinicie o sistema, você pode fazer isso manualmente utilizando o botão do seu ambiente ou o comando abaixo:
rebootPasso 4 – E agora, vamos executar o comando para instalar o simulador Renew no Debian ou derivados. Observe que o comando abaixo está com o sudo, caso você não o tenha habilitado, remova o sudo e instalar usando o ROOT mesmo:
flatpak install flathub de.renew.RenewPasso 5 – Comando para executar a aplicação:
flatpak run de.renew.RenewSaiba instalar o simulador Renew no openSUSE e derivados!
Para instalar o simulador Renew no openSUSE, execute os comandos abaixo. Vamos utilizar um repositório:
Nota: Caso você já tenha instalado e ativado o Flatpak no openSUSE, pode pular para o Passo 4.
Passo 1 – Instalar o Flatpak
sudo zypper install flatpakPasso 2 – Agora, vamos adicionar o repositório Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Vamos reiniciar, faça isso usando o botão de reiniciar do seu ambiente ou o comando abaixo:
sudo rebootPasso 4 – Execute o comando de instalação do simulador Renew no OpenSUSE:
flatpak install flathub de.renew.RenewPasso 5 – Comando para executar o simulador Renew
flatpak run de.renew.Renew
É isso, esperamos ter ajudado você a instalar o simulador Renew no Linux!
