Simon Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 242-249, IEEE, 2007. [doi]
Abstract is missing.