Renew 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.

References in zbMATH (referenced in 18 articles , 2 standard articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Camilli, Matteo; Capra, Lorenzo: Formal specification and verification of decentralized self-adaptive systems using symmetric nets (2021)
  2. Garavel, Hubert: Nested-unit Petri nets (2019)
  3. Betz, Tobias; Cabac, Lawrence; Duvigneau, Michael; Wagner, Thomas; Wester-Ebbinghaus, Matthias: Software engineering with Petri nets: a web service and agent perspective (2014)
  4. Kindler, Ekkart: Modelling local and global behaviour: Petri nets and event coordination (2012) ioport
  5. Tolosana-Calasanz, Rafael; Bañares, José Ángel; Pham, Congduc; Rana, Omer F.: Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures (2012) ioport
  6. van der Aalst, Wil; Stahl, Christian: Modeling business processes. A Petri net-oriented approach (2011)
  7. Rosa-Velardo, Fernando; de Frutos-Escrig, David: Decidability problems in Petri nets with names and replication (2010)
  8. Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice: Building efficient model checkers using hierarchical set decision diagrams and automatic saturation (2009)
  9. Lakos, Charles: Modelling mobile IP with mobile Petri nets (2009)
  10. Haddad, Serge; Poitrenaud, Denis: Recursive Petri nets (2007)
  11. Köhler, Michael; Rölke, Heiko: Web service orchestration with super-dual object nets (2007)
  12. Cabac, Lawrence; Duvigneau, Michael; Moldt, Daniel; Rölke, Heiko: Modeling dynamic architectures using nets-within-nets (2005)
  13. Köhler, Michael; Rölke, Heiko: Reference and value semantics are equivalent for ordinary object Petri nets (2005)
  14. Lakos, Charles A.; Kristensen, Lars M.: State space exploration of object-based systems using equivalence reduction and the sweepline method (2005)
  15. Sarshar, Kamyar; Loos, Peter: Modellierung überbetrieblicher behandlungsprozesse durch objekt-petrinetze (2005) ioport
  16. Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger: An extensible editor and simulation engine for Petri nets: Renew (2004)
  17. Moldt, Daniel; Ortmann, Jan: DaGen: A tool for automatic translation from DAML-S to high-level Petri nets (2004)
  18. Valk, Rüdiger: Object Petri nets. Using the nets-within-nets paradigm. (2004)