Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (Ed.) & Margaria, T. (Ed.) (2004).
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.
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. (Ed.) & Best, E. (Ed.) (2003).
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In W. V. D. Aalst & E. Best (Eds.),
Applications and Theory of Petri Nets 2003 (Vol. 2679, pp. 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. In T. Margaria & W. Yi (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems (pp. 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. (Ed.) & Koutny, M. (Ed.) (2001).
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. In G. Goos, J. Hartmanis & J. van Leeuwen (Eds.),
Applications and Theory of Petri Nets 2001 (Vol. 2075, pp. 71-80). Springer.
https://doi.org/10.1007/3-540-45740-2_6
Christensen, S., Kristensen, L. M., Mailund, T., Margaria, T. (Ed.) & Yi, W. (Ed.) (2001).
A Sweep-Line Method for State Space Exploration. In
Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 ed., Vol. 2031, pp. 450-464). Springer.