Aarhus University Seal

Dansk

You are here: » Kurt Jensen » Research outputs

About Aarhus University

Kurt Jensen

1 - 78 out of 78Page size: 100
RSS feed of this list
  1. 2019
  2. Published
    Carl Adam Petri: a tribute from Aarhus. / Jensen, Kurt; Nielsen, Mogens.
    Carl Adam Petri: ideas, personality, impact. ed. / Wolfgang Reisig; Grzegorz Rozenberg. Cham: Springer, 2019. p. 81-84.

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

  3. 2015
  4. Published
    Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. / Jensen, Kurt; Kristensen, Lars M.
    In: Communications of the A C M, Vol. 58, No. 6, 2015, p. 61-70 .

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

  5. 2013
  6. Published
    Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. / Jensen, Kurt (Editor); Aalst, Wil M. van der (Editor); Balbo, G. (Editor) et al.
    Springer VS, 2013. 423 p. (Lecture Notes in Computer Science, Vol. 7480).

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

  7. 2012
  8. Published
    The sweep-line state space exploration method. / Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas.
    In: Theoretical Computer Science, Vol. 429, 2012, p. 169–179.

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

  9. Published
    Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC. / Jensen, Kurt (Editor); Donatelli, Susanna (Editor); Kleijn , Jetty (Editor).
    Springer, 2012. 293 p. (Lecture Notes in Computer Science, Vol. 6900).

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

  10. Published
    Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. / Jensen, Kurt (Editor); Aalst, Wil M. van der (Editor); Marsan, Marco Ajmone (Editor) et al.
    Springer, 2012. 365 p. (Lecture Notes in Computer Science, Vol. 7400).

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

  11. 2010
  12. Published
    Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. / Jensen, Kurt (Editor); Donatelli, Susanna (Editor); Koutny, Maciej (Editor).
    Springer, 2010. 224 p. (Lecture Notes in Computer Science, Vol. 6550).

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

  13. 2009
  14. Published
    Coloured Petri Nets: Modelling and Validation of Concurrent Systems. / Jensen, Kurt; Kristensen, Lars Michael.
    Springer, 2009. 384 p.

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

  15. Published
    Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2009.

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

  16. Published
    Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. / Jensen, Kurt (Editor); Wil M.P. van der, Aalst (Editor).
    Springer, 2009. 295 p. (Lecture Notes in Computer Science, Vol. 5460).

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

  17. Published
    Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. / Jensen, Kurt (Editor); Billington, Jonathan (Editor); Koutny, Maciej (Editor).
    Springer, 2009. 255 p. (Lecture Notes in Computer Science, Vol. 5800).

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

  18. 2008
  19. Published
    Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 20-22, 2008. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2008.

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

  20. Published
    Special Section on Coloured Petri Nets. / Jensen, Kurt (Editor).
    In: International Journal on Software Tools for Technology Transfer, Vol. 10, No. 1, 2008, p. 1-110.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  21. Published
    Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. / Kristensen, Lars Michael; Jensen, Kurt.
    In: LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), Vol. I, 2008, p. 19-34.

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

  22. Published
    Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. / Jensen, Kurt (Editor); Aalst, Wil M.P. van der (Editor); Billington, Jonathan (Editor).
    Springer, 2008. 249 p. (Lecture Notes in Computer Science, Vol. 5100).

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

  23. 2007
  24. Published
    Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. / Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa Marie.
    In: International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3/4, 2007, p. 213-254.

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

  25. Published
    Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 22-24, 2007. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2007.

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

  26. Published
    Special Section on Coloured Petri Nets. / Jensen, Kurt.
    In: International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3-4, 2007, p. 209-411.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  27. Published
    Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. / Kristensen, Lars Michael; Jensen, Kurt.
    Proceedings 2nd workshop on Teaching Concurrency. University of Podlasie, Institute of Computer Science, 2007. p. 67-77.

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

  28. 2006
  29. Published
    Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2006. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2006.

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

  30. Published
    Special Section on "Tools and Algorithms for the Construction and Analysis of Systems". / Jensen, Kurt (Editor); Podelski, Andreas (Editor).
    In: International Journal on Software Tools for Technology Transfer, Vol. 8, No. 3, 2006, p. 177-299.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  31. 2005
  32. Published
    Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2005. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2005.

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

  33. Published
    Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. / Jensen, Kurt (Editor); Podelski, Andreas (Editor).
    In: Theoretical Computer Science, Vol. 345, No. 1, 2005, p. 1-170.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  34. 2004
  35. Published
    Application of Coloured Petri Nets in System Development. / Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt.
    Lectures on Concurrency and Petri Nets. ed. / J. Desel; W. Reisig; G. Rozenberg. Springer, 2004. p. 626-685 (Lecture Notes in Computer Science, Vol. 3098).

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

  36. Published
    Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004. / Jensen, K. (Editor).
    Department of Computer Science, Aarhus University, 2004.

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

  37. Published
    Formal Specification and State Space Analysis of an Operational Planning Process. / Kristensen, L.M.; Mitchell, B.; Zhang, L. et al.
    Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. PB-570 of Daimi Reports. ed. Department of Computer Science, University of Aarhus, 2004. p. 1-18.

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

  38. Published
    Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. / Kristensen, Lars Michael; Jensen, Kurt.
    Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report. ed. / H. Ehrig; W. Damm; J. Desel; M. Grosse-Rhode; W. Reif; E. Schneider; E. Westkämper. Vol. 3147 Springer, 2004. p. 248-269 (Lecture Notes in Computer Science, Vol. 3147).

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

  39. Published
    Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. / Jensen, Kurt (Editor); Podelski, Andreas (Editor).
    Berlin: Springer, 2004. 608 p. (Lecture Notes in Computer Science, Vol. 2988).

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

  40. 2003
  41. Published
    CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. / Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael et al.
    Applications and Theory of Petri Nets 2003. ed. / Wil van der Aalst; Eike Best. Vol. 2679 Springer, 2003. p. 450-462 (Lecture Notes in Computer Science, Vol. 2679).

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

  42. 2002
  43. Published
    Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. / Jørgensen, J.B.; Jensen, K. (Editor).
    Ikke angivet. DAIMI PB-560. ed. Department of Computer Science, University of Aarhus, 2002. p. 61-80.

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

  44. Published
    Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2002.

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

  45. 2001
  46. Published
    CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. / Andersen, Peter; Beaudouin-Lafon, Michel; Mackay, Wendy E. et al.
    Applications and Theory of Petri Nets 2001. ed. / Gerhard Goos; Juris Hartmanis; Jan van Leeuwen. Vol. 2075 Springer, 2001. p. 71-80 (Lecture Notes in Computer Science, Vol. 2075).

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

  47. Published
    CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. / Jensen, Kurt; Christensen, Søren; Ravn, Katrine et al.
    Tools and Algorithms for the Construction and Analysis of Systems. ed. / Tiziana Margaria; Wang Yi. Springer, 2001. p. 574-577 (Lecture Notes in Computer Science, Vol. 2031).

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

  48. Published
    Special Section on Practical Use of High-level Petri Nets. / Jensen, Kurt (Editor).
    In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 4, 2001, p. 369-430.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  49. Published
    State space methods for coloured Petri nets. / Christensen, Søren; Jensen, Kurt; Mailund et al.
    Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems. 2001. p. 14-15.

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

  50. Published
    State Space Methods for Timed Petri Nets. / Christensen, Søren; Jensen, Kurt; Mailund, Thomas et al.
    Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology". DFG-Forschergruppe Petri Net Technologie, 2001. p. 33-42.

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

  51. Published
    Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2001.

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

  52. 2000
  53. Published
    Practical Use of High-level Petri Net. Workshop Proceedings. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 2000.

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

  54. 1999
  55. Published
    Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 13-15 October 1999. / Jensen, Kurt (Editor).
    Department of Computer Science, Aarhus University, 1999.

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

  56. 1998
  57. Published
    An Introduction to the Practical Use of Coloured Petri Nets. / Jensen, Kurt.
    Lecture on Petri Nets II: Applications. ed. / Wolfgang Reisig; Grzegorz Rozenberg. Springer, 1998. p. 237-292 (Lecture Notes in Computer Science, Vol. 1492).

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

  58. Published
    Special Section on Coloured Petri Nets. / Jensen, Kurt (Editor).
    In: International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2, 1998, p. 95-191.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

  59. Published
    The  Practitioner's guide to Coloured Petri Nets. / Kristensen, Lars Michael; Christensen, Søren; Jensen, Kurt.
    In: International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2, 1998, p. 98-132.

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

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

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

  61. 1997
  62. Published
    A Brief Introduction to Coloured Petri Nets. / Jensen, Kurt.
    Tools and Algorithms for the Construction and Analysis of Systems. ed. / Ed Brinksma. Vol. 1217 Springer, 1997. p. 203-208 (Lecture Notes in Computer Science, Vol. 1217).

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

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

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

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

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

  65. 1996
  66. Published
    Condensed State Spaces for Symmetrical Coloured Petri Nets. / Jensen, Kurt; Emerson, Ernest Allan (Editor).
    In: Formal Methods in System Design, Vol. 9, No. 1/2, 1996, p. 7-40.

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

  67. 1995
  68. Published
    Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. / Jensen, Kurt.
    Springer, 1995. 172 p. (Monographs in theoretical computer science: an EATCS series).

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

  69. 1994
  70. Published
    An Introduction to the Theoretical Aspects of Coloured Petri nets. / Jensen, Kurt.
    A Decade of Concurrency Reflections and Perspectives. ed. / J.W.de Bakker; W.-P.de Roever; G. Rozenberg. Vol. 803 Springer, 1994. p. 230-272 (Lecture Notes in Computer Science, Vol. 803).

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

  71. 1992
  72. Published
    Application and Theory of Petri Nets. / Jensen, Kurt (Editor).
    Springer, 1992. 398 p. (Lecture Notes in Computer Science, Vol. 616).

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

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

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

  74. 1991
  75. Published
    Coloured Petri Nets: A High-level Language for System Design and Analysis. / Jensen, Kurt.
    Advances in Petri Nets 1990. ed. / Grzegorz Rozenberg. Springer, 1991. p. 342-416 (Lecture Notes in Computer Science, Vol. 483).

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

  76. Published
    Computer Tools for High-level Petri Nets. / Jensen, Kurt; Feldbrugge, Frits.
    High-level Petri Nets. Theory and Application. ed. / Kurt Jensen; Gregory Rozenberg. Vol. Advances in Petri Nets 1991 London, UK: Springer, 1991. p. 691-717.

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

  77. Published
    Design/CPN. A Reference Manual. / Jensen et. al, Kurt.
    Department of Computer Science, Aarhus University, 1991.

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

  78. Published
    Hierarchies in Coloured Petri Nets. / Huber, Peter; Jensen, Kurt; Shapiro, Robert M.
    Advances in Petri Nets 1990. ed. / Gezegorz Rozenberg. Springer, 1991. p. 313-341 (Lecture Notes in Computer Science, Vol. 483).

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

  79. Published
    High-level Petri Nets: Theory and Applications. / Jensen, Kurt (Editor); Rozenberg, Grzegorz (Editor).
    London, UK: Springer, 1991. 724 p.

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

  80. 1990
  81. Published
    Design/CPN Extensions. / Jensen, Kurt; Huber, Peter; Shapiro, Robert M.
    II. ed. Cambridge, MA, USA: Meta Software Corporation, 1990.

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

  82. 1989
  83. Published
    Design/CPN: A tool package supporting the use of Coloured Petri Nets. / Albert, Ken; Jensen, Kurt; Sharpiro, Robert M.
    In: Petri Net Newsletter, Vol. 32, 1989, p. 22-35.

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

  84. 1987
  85. Published
    Coloured Petri Nets. / Jensen, Kurt.
    Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I. ed. / Wilfried Brauer; Wolfgang Reisig; Grzegorz Rozenberg. Vol. 254 Springer, 1987. p. 248-299 (Lecture Notes in Computer Science, Vol. 254).

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

  86. Published
    Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. / Jensen, Kurt.
    Proceedings of the fifth International Conference on Systems Engineering. IEEE, 1987. p. 395-401.

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

  87. Published
    Computer Tools for Construction, Modification and Analysis of Petri Nets. / Jensen, Kurt.
    Petri Nets: Applications and Relationships to Other Models of Concurrency. ed. / Wilfried Brauer; Wolfgang Reisig; Grzegorz Rozenberg. Vol. 255/Part II Springer, 1987. p. 4-19 (Lecture Notes in Computer Science, Vol. 255).

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

  88. Published
    Petri Net Tool Overview 1986. / Jensen, Kurt; Feldbrugge, Frits.
    Petri Nets: Applications and Relationships to Other Models of Concurrency. ed. / W. Brauer; W. Reisig; G. Rozenberg. Vol. 255/Part II Springer, 1987. p. 20-61 (Lecture Notes in Computer Science, Vol. 255).

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

  89. 1986
  90. Published
    Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. / Jensen, Kurt; Schmidt, Erik Meineche.
    Advances in Petri Nets 1985. ed. / G. Rozenberg. Vol. 222 Springer, 1986. p. 297-329 (Lecture Notes in Computer Science, Vol. 222).

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

  91. Published
    Reachability Trees for High-level Petri Nets. / Jensen, Kurt; Jensen, Arne M.; Jepsen, Leif Obel et al.
    In: Theoretical Computer Science, Vol. 45, No. 3, 1986, p. 261-292.

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

  92. 1985
  93. Published
    6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985. / Jensen, Kurt (Editor).
    1985.

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

  94. Published
    An Introduction to High-level Petri Nets. / Jensen, Kurt.
    Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85. IEEE, 1985. p. 723-726.

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

  95. Published
    The Design of a Program Package for an Introductory Petri Net Course. / Jensen, Kurt.
    Advances in Petri Nets 1984. ed. / G. Rozenberg; H. Genrich; G. Roucairol. Vol. 188 Springer, 1985. p. 259-266 (Lecture Notes in Computer Science, Vol. 188).

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

  96. Published
    Towards Reachability Trees for High-level Petri Nets. / Huber, Peter; Jensen, Arne M.; Jepsen, Leif O. et al.
    Advances in Petri Nets 1984, Proceedings. ed. / Grzegorz Rozenberg; Hartmann J. Genrich; Gérard Roucairol. Springer, 1985. p. 215-233 (Lecture Notes in Computer Science, Vol. 188).

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

  97. 1983
  98. Published
    High-level Petri Nets. / Jensen, Kurt.
    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. ed. / Anastasia Pagnoni; Grzegorz Rozenberg. Vol. 66 Springer, 1983. p. 166-180.

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

  99. 1982
  100. Published
    Petri Nets and Semantics of System Descriptions. / Jensen, Kurt; Kyng, Morten.
    Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets. ed. / Claude Girault; Wolfgang Reisig. Springer, 1982. p. 64 - 71 (Informatik-Fachberichte, Vol. 52).

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

  101. 1981
  102. Published
    Coloured Petri Nets and the Invariant Method. / Jensen, Kurt.
    In: Theoretical Computer Science, Vol. 14, No. 3, 1981, p. 317-336.

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

  103. Published
    How to Find Invariants for Coloured Petri Nets. / Jensen, Kurt.
    Mathematical Foundations of Computer Science 1981. ed. / J. Gruska; M. Chytil. Vol. 118 Springer, 1981. p. 327-338 (Lecture Notes in Computer Science, Vol. 118).

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

  104. 1980
  105. Published
    A Method to Compare the Descriptive Power of Different Types of Petri Nets. / Jensen, Kurt.
    Mathematical Foundations of Computer Science 1980. ed. / Piotr Dembinski. Vol. 88 Springer, 1980. p. 348-361 (Lecture Notes in Computer Science, Vol. 88).

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

  106. Published
    Epsilon. A System Description Language. / Jensen, Kurt; Kyng, Morten.
    Department of Computer Science, Aarhus University, 1980.

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

  107. Published
    Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. / Jensen, Kurt.
    Århus Universitet: Aarhus Universitetsforlag, 1980.

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

  108. 1979
  109. Published
    A Petri Net Definition of a System Description Language. / Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann.
    Semantics of Concurrent Computation. ed. / Gilles Kahn. Springer, 1979. p. 348 - 368 (Lecture Notes in Computer Science, Vol. 70).

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

  110. Published
    Delta Semantics Defined By Petri Nets. / Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann.
    Aarhus Universitetsforlag, 1979.

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

  111. 1978
  112. Published
    Extended and Hyper Petri nets. / Jensen, Kurt.
    Aarhus Universitetsforlag, 1978. (DAIMI TR; No. 5).

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