Jonathan Billington Somsak Vanit-Anunchai Guy Edward Gallasch Parameterised Coloured Petri Net Channel Models. 71-97 2009 3 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-642-04856-2_4 journals/topnoc/2009-3 db/journals/topnoc/topnoc3.html#BillingtonVG09