Formal modelling of supply chain: An incremental approach using Petri nets

In this paper the authors propose an implementation of an incremental approach to modelling discrete event systems at the structural level of systems specification. Using the well-known example of the Beer Game, a systematic method supporting the bottom-up construction of re-usable models of supply chains in the Petri nets domain together with their associated experimental frames is presented. The construction adheres to well-defined rules, which would enable computer-based model generation.