Formalisation and Simulation of Operating Rules Using Coloured Petri Nets

WIT Transactions on the Built Environment - United Kingdom
doi 10.2495/cr060341