From Code to Coloured Petri Nets: Modelling Guidelines

Anna Dedova, Laure Petrucci. From Code to Coloured Petri Nets: Modelling Guidelines. T. Petri Nets and Other Models of Concurrency, 8:71-88, 2013. [doi]

Abstract

Abstract is missing.