Folding a set of scenarios specified by causal nets to a system net

30 June 2023, by Leon Zander

Photo: John Carlos Baez

This project focuses on the folding of a set of scenarios into one Petri net model. We assume the scenarios to be defined as causal nets, specifying one concrete run of a system

In particular, we will look at ideas from structured occurrence nets and scenario nets to accomplish a compact folded model. This will lead to a prototype for Renew which is a tool to create and simulate various kinds of Petri net formalism.

Participants: Leon Zander

Latest articles

White domes in the wadden sea during low tide

Photo: base.camp

10.06.2024|basecamp-projects

Digitales Wattenmeer: a digital twin for biological field research

Understanding the changes that may occur in our biosphere as climate change progresses has significant, widespread implications for all areas of life and related policy decisions. Efforts are underway to study the impacts of elevated temperatures at the MERIT field site in the wadden sea. MERIT...

A lowpoly image of a bicycle with a box of sensors on the back.

Photo: base.camp

31.05.2024|basecamp-projects

Improving sensor networks with on-bicycle mobile nodes

This project aims to increase the geo-spatial resolution in environmental sensor networks using a mobile sensor kit. Within this work, the kit will be built and the data quality validated against existing public and official measuring networks. In the experiment, the sensor is mounted to a bicycle...