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
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.
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.
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.
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.
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