Publications

Sort by: Date | Author | Title

Jørgensen, J. B., Christensen, S., Jezequel, J.-M. (Ed.), Hussmann, H. (Ed.) & Cook, S. (Ed.) (2002). Executable Design Models for a Pervasive Healthcare Middleware System. In Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language (Vol. 2460, pp. 140-149). Springer.

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.

Jensen, K. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (2007). Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 22-24, 2007. Department of Computer Science, Aarhus University. DAIMI PB No. 584

Jensen, K., Huber, P. & Shapiro, R. M. (1990). Design/CPN Extensions. (II ed.) Meta Software Corporation.

Jensen et. al, K. (1991). Design/CPN. A Reference Manual. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/designCPN/man/

Albert, K., Jensen, K. & Sharpiro, R. M. (1989). Design/CPN: A tool package supporting the use of Coloured Petri Nets. Petri Net Newsletter, 32, 22-35.

Christensen, S., Jørgensen, J. B. & Madsen, K. H. (1997). Design as Interaction with Computer Based Materials. In G. van der Veer, A. Henderson & S. Coles (Eds.), Proceeding of DIS 97 (pp. 65-71). Society for Industrial and Applied Mathematics.

Jensen, K., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

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 (2001). Condensed State Spaces for Timed Petri Nets. In Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2001) (pp. 101-120)

Jensen, K. & Emerson, E. A. (Ed.) (1996). Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2), 7-40. https://doi.org/10.1007/BF00625967

Jensen, K. & Feldbrugge, F. (1991). Computer Tools for High-level Petri Nets. In K. Jensen & G. Rozenberg (Eds.), High-level Petri Nets. Theory and Application (Vol. Advances in Petri Nets 1991, pp. 691-717). Springer.

Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20

Jørgensen, J. B. & Jensen, K. (Ed.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. In Ikke angivet (DAIMI PB-560 ed., pp. 61-80). Department of Computer Science, University of Aarhus.

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1995). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. (2. ed., 2. corr. printing ed.) Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14(3), 317-336. https://doi.org/10.1016/0304-3975(81)90049-9

Jensen, K., Kristensen, L. M. & Wells, L. M. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, 9(3/4), 213-254. https://doi.org/10.1007/s10009-007-0038-x

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Jensen, K. (1987). Coloured Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Vol. 254, pp. 248-299). Springer. https://doi.org/10.1007/BFb0046842

Jensen, K. (1991). Coloured Petri Nets: A High-level Language for System Design and Analysis. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (pp. 342-416). Springer. https://doi.org/10.1007/3-540-53863-1_31

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. In Proceedings of the fifth International Conference on Systems Engineering (pp. 395-401). IEEE.

Jensen, K. & Kristensen, L. M. (2015). Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Communications of the A C M, 58(6), 61-70 . https://doi.org/10.1145/2663340

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. In W. Reisig & G. Rozenberg (Eds.), Carl Adam Petri: ideas, personality, impact (pp. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Christensen, S., Kristensen, L. M. & Mailund (2001). A Sweep-Line Method for State Space Exploration. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001) (pp. 450-464)

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.

Christensen, S., Grønbæk, K. & Rolskov, T. (1987). Arbejdsformer under anvendelse af 4. generationsværktøjer. Department of Computer Science, Aarhus University. DAIMI IR No. 69

Kristensen, L. M., Jørgensen, J. B. & Jensen, K. (2004). Application of Coloured Petri Nets in System Development. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets (pp. 626-685). Springer. https://doi.org/10.1007/b98282

Jensen, K. (Ed.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Vol. 616 https://doi.org/10.1007/3-540-55676-1

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. In G. Kahn (Ed.), Semantics of Concurrent Computation (pp. 348 - 368). Springer. https://doi.org/10.1007/BFb0022479

Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri nets. In J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives (Vol. 803, pp. 230-272). Springer. https://doi.org/10.1007/3-540-58043-3

Jensen, K. (1998). An Introduction to the Practical Use of Coloured Petri Nets. In W. Reisig & G. Rozenberg (Eds.), Lecture on Petri Nets II: Applications (pp. 237-292). Springer. https://doi.org/10.1007/3-540-65307-4_50

Jensen, K. (1985). An Introduction to High-level Petri Nets. In Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85 (pp. 723-726). IEEE.

Jensen, K. (1980). A Method to Compare the Descriptive Power of Different Types of Petri Nets. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science 1980 (Vol. 88, pp. 348-361). Springer. https://doi.org/10.1007/BFb0022516

Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1217, pp. 203-208). Springer. https://doi.org/10.1007/BFb0035389

Jensen, K. (Ed.) (1985). 6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985.

Displaying results 51 to 91 out of 91

Revised 01.09.2025