Renew
by TGI group at Universität Hamburg
Petri net editor and simulator
About
Renew (The Reference Net Workshop) is a Java-based multi-formalism editor and simulator that provides a flexible modeling approach based on, but not limited to, reference nets.
Petri nets are a well established means to describe concurrent systems. Over the years, numerous extensions to the basic formalism have been proposed to account for abstract data types, object-orientation, hierarchies or new arc types.
Among them is the reference nets formalism, where tokens can be references to arbitrary objects, especially other nets, thus allowing nested net models. It allows Java inscriptions, has built-in List and Tuple types, offers test, inhibitor and flexible arcs and has a powerful synchronization mechanism.
Permissions
2 permissions weaken the sandbox. Flatsonar asks before installing.
- full access to your entire file system
--filesystem=host - X11 display: X11 lets apps read input and windows of other apps
--socket=x11 - network
--share=network - inter-process communication (needed for X11)
--share=ipc
Who publishes this
On Flathub: the manifest was reviewed and built on Flathub's infrastructure, but the developer has not verified ownership of the app id.
- on Flathub: manifest reviewed and built by Flathub; the developer has not verified the app id
publisher:flathub
Maintenance
Recent activity on the upstream repository, or built and reviewed by Flathub.
No staleness signals: recent activity, or built and reviewed by Flathub.