Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010).
Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.),
Towards Green ICT (pp. 185-210). River Pulishers.
Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007).
The ComBack Method - Extending Hash Compaction with Backtracking. In
Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (pp. 455-464). Springer.
https://doi.org/10.1007/978-3-540-73094-1_26
Westergaard, M. (2006).
Game Coloured Petri Nets. In K. Jensen (Ed.),
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Vol. PB-579, pp. 281-301). Aarhus Universitetsforlag.