Skip to main content
. 2019 Dec 5;47(3):353–360. doi: 10.1111/joor.12908

Figure 1.

Figure 1

The Patient Model. This UPPAAL automaton models a patient: initialisation of variables, and the locations G01, G2, G3, and G4, corresponding to the tooth wear scores. Detailed explanation can be found in Ref.17 [Colour figure can be viewed at https://www.wileyonlinelibrary.com]