Publications

Sort by: Date | Author | Title

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. (Ed.) (1998). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 95-191. https://doi.org/10.1007/s100090050020

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Jensen, K. (Ed.) (1998). Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998. Department of Computer Science, Aarhus University.

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. (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. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. Springer. Monographs in theoretical computer science: an EATCS series

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. & 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. (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. (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. (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. (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. (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. & 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 et. al, K. (1991). Design/CPN. A Reference Manual. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/designCPN/man/

Huber, P., Jensen, K. & Shapiro, R. M. (1991). Hierarchies in Coloured Petri Nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (pp. 313-341). Springer. https://doi.org/10.1007/3-540-53863-1_30

Jensen, K. & Rozenberg, G. (Eds.) (1991). High-level Petri Nets: Theory and Applications. Springer.

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

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

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

Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 20-61). Springer. https://doi.org/10.1007/3-540-17906-2

Jensen, K. & Schmidt, E. M. (1986). Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1985 (Vol. 222, pp. 297-329). Springer. https://doi.org/10.1007/BFb0016218

Jensen, K., Jensen, A. M., Jepsen, L. O. & Huber, P. (1986). Reachability Trees for High-level Petri Nets. Theoretical Computer Science, 45(3), 261-292. https://doi.org/10.1016/0304-3975(86)90046-0

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

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. (1985). The Design of a Program Package for an Introductory Petri Net Course. In G. Rozenberg, H. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984 (Vol. 188, pp. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. In G. Rozenberg, H. J. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984, Proceedings (pp. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Jensen, K. (1983). High-level Petri Nets. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (Vol. 66, pp. 166-180). Springer.

Jensen, K. & Kyng, M. (1982). Petri Nets and Semantics of System Descriptions. In C. Girault & W. Reisig (Eds.), Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (pp. 64 - 71). Springer.

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. (1981). How to Find Invariants for Coloured Petri Nets. In J. Gruska & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981 (Vol. 118, pp. 327-338). Springer. https://doi.org/10.1007/3-540-10856-4_100

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. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

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., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

Jensen, K. (1978). Extended and Hyper Petri nets. Aarhus Universitetsforlag. DAIMI TR No. 5

Displaying results 51 to 91 out of 91

Revised 17.04.2023

Publications

Faculty

Kurt Jensen