Flathub Logo

Renew

készítette: TGI group at Universität Hamburg
Ellenőrizetlen
Telepítés

Petri net editor and simulator

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.

Változások a(z) 4.1 verzióban

több mint 1 évvel ezelőtt
(Összeállítva 5 hónappal ezelőtt)
  • Változásnapló nincs megadva
  • Közösségi összeállítás

    Ezt az alkalmazást önkéntesek közössége fejlesztette ki, és a(z) GNU Lesser General Public License v2.1 only alatt került kiadásra.
    Részt vegyen
Teljes telepítési méret~184.97 MiB
Teljes letöltési méret67.87 MiB
Támogatott architektúrákaarch64, x86_64
Telepítések501
Címkék: