Kurt Jensen

Research output

Research output per year 1978 1980 1985 1987 1991 1997 1998 2001 2004 2007 2008 2009 2012 2019

• 26 Article in proceedings
• 14 Working paper
• 11 Anthology
• 9 Journal article
• 18 More
  • 6 Editorial
  • 5 Book
  • 3 Book chapter
  • 2 Report
  • 1 Ph.D. thesis
  • 1 Report chapter

Research output per year

Research output per year

Search results

• 1992

  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts

  Jensen, K., 1992, Springer. 234 p. (Monographs in theoretical computer science: an EATCS series).

  Research output: Book/anthology/dissertation/report › Book › Research
• 1991

  Coloured Petri Nets: A High-level Language for System Design and Analysis

  Jensen, K., 1991, Advances in Petri Nets 1990. Rozenberg, G. (ed.). Springer, p. 342-416 74 p. (Lecture Notes in Computer Science, Vol. 483).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Linear Function 100%
  2 Citations (Scopus)

• Computer Tools for High-level Petri Nets

  Jensen, K. & Feldbrugge, F., 1991, High-level Petri Nets. Theory and Application. Jensen, K. & Rozenberg, G. (eds.). London, UK: Springer, Vol. Advances in Petri Nets 1991. p. 691-717 26 p.

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

• Design/CPN. A Reference Manual

  Jensen et. al, K., 1991, Department of Computer Science, Aarhus University.

  Research output: Book/anthology/dissertation/report › Report › Communication

  • World Wide Web 100%
  • Guides 100%
  • Click 100%
  • Machine Learning 50%
  • Speed-up 50%

• Hierarchies in Coloured Petri Nets

  Huber, P., Jensen, K. & Shapiro, R. M., 1991, Advances in Petri Nets 1990. Rozenberg, G. (ed.). Springer, p. 313-341 28 p. (Lecture Notes in Computer Science, Vol. 483).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Illustrates 100%

• High-level Petri Nets: Theory and Applications

  Jensen, K. (Editor) & Rozenberg, G. (Editor), 1991, London, UK: Springer. 724 p.

  Research output: Book/anthology/dissertation/report › Anthology › Research

  • Individual Section 100%
  • Advisory Board 100%
  • Tasks 50%
  • Main Reason 50%
  • Methods and Tool 50%
• 1990

  Design/CPN Extensions

  Jensen, K., Huber, P. & Shapiro, R. M., 1990, II ed., Cambridge, MA, USA: Meta Software Corporation.

  Research output: Working paper/Preprint › Working paper › Research
• 1989

  Design/CPN: A tool package supporting the use of Coloured Petri Nets

  Albert, K., Jensen, K. & Sharpiro, R. M., 1989, In: Petri Net Newsletter. 32, p. 22-35 13 p.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research
• 1987

  Coloured Petri Nets

  Jensen, K., 1987, Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I. Brauer, W., Reisig, W. & Rozenberg, G. (eds.). Springer, Vol. 254. p. 248-299 52 p. (Lecture Notes in Computer Science, Vol. 254).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Petri Net Model 100%

• Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details

  Jensen, K., 1987, Proceedings of the fifth International Conference on Systems Engineering. IEEE, p. 395-401 7 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  2 Citations (Scopus)

• Computer Tools for Construction, Modification and Analysis of Petri Nets.

  Jensen, K., 1987, Petri Nets: Applications and Relationships to Other Models of Concurrency. Brauer, W., Reisig, W. & Rozenberg, G. (eds.). Springer, Vol. 255/Part II. p. 4-19 15 p. (Lecture Notes in Computer Science, Vol. 255).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Graphical Representation 100%
  • Workstation 16%
  12 Citations (Scopus)

• Petri Net Tool Overview 1986

  Jensen, K. & Feldbrugge, F., 1987, Petri Nets: Applications and Relationships to Other Models of Concurrency. Brauer, W., Reisig, W. & Rozenberg, G. (eds.). Springer, Vol. 255/Part II. p. 20-61 42 p. (Lecture Notes in Computer Science, Vol. 255).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Contact Person 100%
  15 Citations (Scopus)
• 1986

  Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets

  Jensen, K. & Schmidt, E. M., 1986, Advances in Petri Nets 1985. Rozenberg, G. (ed.). Springer, Vol. 222. p. 297-329 32 p. (Lecture Notes in Computer Science, Vol. 222).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Denotational Semantics 100%
  • Petri Net 100%
  • Formal Semantics 50%
  • Computer Science 50%

• Reachability Trees for High-level Petri Nets

  Jensen, K., Jensen, A. M., Jepsen, L. O. & Huber, P., 1986, In: Theoretical Computer Science. 45, 3, p. 261-292 31 p.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  • Petri Net 100%
  • Reachability 100%
  44 Citations (Scopus)
• 1985

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

  Jensen, K. (Editor), 1985

  Research output: Book/anthology/dissertation/report › Anthology › Research

• An Introduction to High-level Petri Nets

  Jensen, K., 1985, Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85. IEEE, p. 723-726 4 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  8 Citations (Scopus)

• The Design of a Program Package for an Introductory Petri Net Course

  Jensen, K., 1985, Advances in Petri Nets 1984. Rozenberg, G., Genrich, H. & Roucairol, G. (eds.). Springer, Vol. 188. p. 259-266 7 p. (Lecture Notes in Computer Science, Vol. 188).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Towards Reachability Trees for High-level Petri Nets

  Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K., 1985, Advances in Petri Nets 1984, Proceedings. Rozenberg, G., Genrich, H. J. & Roucairol, G. (eds.). Springer, p. 215-233 18 p. (Lecture Notes in Computer Science, Vol. 188).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
• 1983

  High-level Petri Nets

  Jensen, K., 1983, 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. Pagnoni, A. & Rozenberg, G. (eds.). Springer, Vol. 66. p. 166-180 15 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
• 1982

  Petri Nets and Semantics of System Descriptions

  Jensen, K. & Kyng, M., 1982, Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets. Girault, C. & Reisig, W. (eds.). Springer, p. 64 - 71 7 p. (Informatik-Fachberichte, Vol. 52).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • System Description 100%
  273 Downloads (Pure)
• 1981

  Coloured Petri Nets and the Invariant Method

  Jensen, K., 1981, In: Theoretical Computer Science. 14, 3, p. 317-336 19 p.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  • Systems Analysis 100%
  • System Description 100%
  • Petri Net 100%
  • Subnet 33%
  369 Citations (Scopus)

• How to Find Invariants for Coloured Petri Nets

  Jensen, K., 1981, Mathematical Foundations of Computer Science 1981. Gruska, J. & Chytil, M. (eds.). Springer, Vol. 118. p. 327-338 11 p. (Lecture Notes in Computer Science, Vol. 118).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Set 100%
  • Petri Net 100%
  • Invariant 100%
  • Colored Petri Net 100%
  • Rule 50%
  35 Citations (Scopus)
• 1980

  A Method to Compare the Descriptive Power of Different Types of Petri Nets

  Jensen, K., 1980, Mathematical Foundations of Computer Science 1980. Dembinski, P. (ed.). Springer, Vol. 88. p. 348-361 13 p. (Lecture Notes in Computer Science, Vol. 88).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Procedures 100%
  9 Citations (Scopus)

• Epsilon. A System Description Language

  Jensen, K. & Kyng, M., 1980, Department of Computer Science, Aarhus University, 28 p.

  Research output: Working paper/Preprint › Working paper › Research

  Open Access

  File

  • Formal Semantics 100%
  • Program Verification 100%
  • Parallel Program 100%
  • System Description Language 100%
  • Petri Net 100%
  200 Downloads (Pure)

• Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis

  Jensen, K., 1980, Århus Universitet: Aarhus Universitetsforlag.

  Research output: Book/anthology/dissertation/report › Ph.D. thesis
• 1979

  A Petri Net Definition of a System Description Language

  Jensen, K., Kyng, M. & Madsen, O. L., 1979, Semantics of Concurrent Computation. Kahn, G. (ed.). Springer, p. 348 - 368 20 p. (Lecture Notes in Computer Science, Vol. 70).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • System Description Language 100%
  • Petri Net 100%
  • Concurrency 50%
  • Formal Definition 50%
  4 Citations (Scopus)

• Delta Semantics Defined By Petri Nets

  Jensen, K., Kyng, M. & Madsen, O. L., 1979, Aarhus Universitetsforlag, 142 p.

  Research output: Working paper/Preprint › Working paper › Research

  Open Access

  File

  • Petri Net 100%
  • Formal Semantics 14%
  • Concurrency 14%
  • System Description Language 14%
  • Program Variable 14%
  188 Downloads (Pure)
• 1978

  Extended and Hyper Petri nets

  Jensen, K., 1978, Aarhus Universitetsforlag. (DAIMI TR; No. 5).

  Research output: Book/anthology/dissertation/report › Report › Research