Modelled system

The top-level module of the CPN model, with the front-end client applications at the left, the main software component FRNS in the middle, and the external weather data services at the right.

The FRNS submodule, with the BLCS at the left, the FRCS in the middle and the DHS at the right. The far left and right places correspond to the places in the figure above.

Presenting the sub-module responsible for handling requests within the BLCS, the BLCS Handle Request. Represented through respective substitution transitions, from the top, the handling of tracking, subscription and single fire risk requests. Associated color sets can be seen below.
Colour sets definitions used to model the state of the BLCS.

The Process POST Request submodule. Presenting the BLCS handling of a tracking (POST) request.