From Code to Coloured Petri Nets: Modelling Guidelines - Dedova, Anna; Petrucci, Laure (Transactions on Petri Nets and Other Models of Concurrency VIII, 2013)
Keywords: Colour Domain; Master Node; Modelling Guideline; Source Code; Storage Node