Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (red.) & Margaria, T. (red.) (2004).
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Afhandling præsenteret på 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.
Ratzer, A. V.
, Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F.
, Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (red.) & Best, E. (red.) (2003).
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. I W. V. D. Aalst & E. Best (red.),
Applications and Theory of Petri Nets 2003 (Bind 2679, s. 450-462). Springer.
Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K.
, Lassen, H. M., Jacecek, P.
, Andersen, P., Jensen, M., Mackay, W. E. & Beaudouin-Lafon, M. (2001).
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. I T. Margaria & W. Yi (red.),
Tools and Algorithms for the Construction and Analysis of Systems (s. 574-577). Springer.
https://doi.org/10.1007/3-540-45319-9_39
Andersen, P., Beaudouin-Lafon, M., Mackay, W. E., Janecek, P., Lassen, M., Jensen, M., Mortensen, K., Munck, S., Ratzer, A., Ravn, K.
, Christensen, S., Jensen, K., Colom, J. M. (red.) & Koutny, M. (red.) (2001).
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. I G. Goos, J. Hartmanis & J. van Leeuwen (red.),
Applications and Theory of Petri Nets 2001 (Bind 2075, s. 71-80). Springer.
https://doi.org/10.1007/3-540-45740-2_6
Christensen, S., Kristensen, L. M., Mailund, T., Margaria, T. (red.) & Yi, W. (red.) (2001).
A Sweep-Line Method for State Space Exploration. I
Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 udg., Bind 2031, s. 450-464). Springer.