Renew
開發者為 TGI group at Universität Hamburg
未驗證
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.
在版本 4.1 中的變更
超过 1 年前
(建構於 4 个月前)
- 未提供變更日誌
安裝大小~184.97 MiB
下載大小67.87 MiB
可用的架構x86_64, aarch64
安裝數396