Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (red.) (2012).
Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Bind 7400
https://doi.org/10.1007/978-3-642-35179-2
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.
Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (red.), Colom, J.-M. (red.), Kordon, F. (red.), Kotsis, G. (red.) & Moldt, D. (red.) (2003).
State Space Analysis of Hierarchical Coloured Petri Nets.
LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, (1), 1-16.
Billington, J.
, Christensen, S., Hee, K. V., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M., Aalst, W. M. P. V. D. (red.) & Best, E. (red.) (2003).
The Petri Net Markup Language: Concepts, Technology, and Tools. I
Ikke angivet (2679 of Lecture Notes in Computer Science udg., s. 483-505). Springer.
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.
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
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
Wells, L., Christensen, S., Kristensen, L. M., Mortensen, K. H., German, R. (red.) & Haverkort, B. (red.) (2001).
Simulation Based Performance Analysis of Web Servers. I
Proceedings of 9th International Workshop on Petri Nets and Performance Models (s. 59-68). IEEE Computer Society Press.
Christensen, S., Jensen, K., Mailund, T., Weber, H. (red.), Ehrig, H. (red.) & Reisig, W. (red.) (2001).
State Space Methods for Timed Petri Nets. I
Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology" (s. 33-42). DFG-Forschergruppe Petri Net Technologie.
