Mobile Nav

3.3.2 Formalisation of an order processing soft systems model using Petri nets