Kurt Jensen

  1. 2015
  2. 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 .

    Publication: Research - peer-reviewJournal article

  3. 2013
  4. Published

    Transactions on Petri Nets and Other Models of Concurrency VII : ToPNoC. / Jensen, Kurt (Editor); Aalst, Wil M. van der (Editor); Balbo, G. (Editor); Koutny, M. (Editor); Wolf, K. (Editor).

    Springer-VS, 2013. 423 p. (Lecture Notes in Computer Science, Vol. 7480).

    Publication: ResearchAnthology

  5. 2012
  6. 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.

    Publication: Research - peer-reviewJournal article

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

    Publication: ResearchAnthology

  8. 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); Franceschinis, Giuliana (Editor); Kleijn , Jetty (Editor); Kristensen, Lars Michael (Editor).

    Springer, 2012. 365 p. (Lecture Notes in Computer Science, Vol. 7400).

    Publication: ResearchAnthology

  9. 2010
  10. 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).

    Publication: ResearchAnthology

  11. 2009
  12. Published

    Coloured Petri Nets : Modelling and Validation of Concurrent Systems. / Jensen, Kurt; Kristensen, Lars Michael.

    Springer, 2009. 384 p.

    Publication: ResearchBook

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

    Publication: ResearchWorking paper

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

    Publication: ResearchAnthology

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

    Publication: ResearchAnthology

  16. 2008
  17. 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. (DAIMI PB; No. 588).

    Publication: ResearchWorking paper

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

    Publication: ResearchEditorial

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

    Publication: Research - peer-reviewJournal article

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

    Publication: ResearchAnthology

  21. 2007
  22. 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.

    Publication: Research - peer-reviewJournal article

  23. 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. (DAIMI PB; No. 584).

    Publication: ResearchWorking paper

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

    Publication: ResearchEditorial

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

    Publication: Research - peer-reviewArticle in proceedings

  26. 2006
  27. 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.

    Publication: ResearchWorking paper

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

    Publication: ResearchEditorial

  29. 2005
  30. 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.

    Publication: ResearchWorking paper

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

    Publication: ResearchEditorial

  32. 2004
  33. 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).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: ResearchWorking paper

  35. Published

    Formal Specification and State Space Analysis of an Operational Planning Process. / Kristensen, L.M.; Mitchell, B.; Zhang, L.; Jensen, K. (Editor).

    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.

    Publication: ResearchBook chapter

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

    Publication: ResearchReport chapter

  37. Published
  38. 2003
  39. Published

    CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. / Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael; Laursen, Mads; Qvortrup, Jacob Frank; Stissing, Martin Stig; Westergaard, Michael; Christensen, Søren; Jensen, Kurt; Aalst, Willibrordus Martinus Pancratius van der (Editor); Best, Elke (Editor).

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

    Publication: Research - peer-reviewArticle in proceedings

  40. 2002
  41. 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.

    Publication: ResearchArticle in proceedings

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

    Publication: ResearchWorking paper

  43. 2001
  44. Published

    CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. / Andersen, Peter; Beaudouin-Lafon, Michel; Mackay, Wendy E.; Janecek, Paul; Lassen, Michael; Jensen, Mads; Mortensen, Kjeld; Munck, Stephanie; Ratzer, Anne; Ravn, Katrine; Christensen, Søren; Jensen, Kurt; Colom, José Manuel (Editor); Koutny, Maciej (Editor).

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

    Publication: Research - peer-reviewArticle in proceedings

  45. 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; Ratzer, Anne; Munck, Stephanie; Mortensen, Kjeld; Lund, Kasper; Lassen, Henry Michael; Jacecek, Poul; Andersen, Peter; Jensen, Mads; Mackay, Wendy E.; Beaudouin-Lafon, Michel.

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

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: ResearchEditorial

  47. Published

    State Space Methods for Timed Petri Nets. / Christensen, Søren; Jensen, Kurt; Mailund, Thomas; Weber, Herbert (Editor); Ehrig, Harmut (Editor); Reisig, Wolfgang (Editor).

    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.

    Publication: ResearchArticle in proceedings

  48. Published

    State space methods for coloured Petri nets. / Christensen, Søren; Jensen, Kurt; Mailund; Kristensen, Lars Michael.

    Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems. 2001. p. 14-15.

    Publication: ResearchArticle in proceedings

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

    Publication: ResearchWorking paper

  50. 2000
  51. Published

    Practical Use of High-level Petri Net. : Workshop Proceedings. / Jensen, Kurt (Editor).

    Department of Computer Science, Aarhus University, 2000.

    Publication: ResearchWorking paper

  52. 1999
  53. 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.

    Publication: ResearchWorking paper

  54. 1998
  55. 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).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: ResearchEditorial

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

    Publication: Research - peer-reviewJournal article

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

    Publication: ResearchWorking paper

  59. 1997
  60. 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).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: ResearchBook

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

    Publication: ResearchBook

  63. 1996
  64. 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.

    Publication: Research - peer-reviewJournal article

  65. 1995
  66. 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).

    Publication: ResearchBook

  67. 1994
  68. 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).

    Publication: Research - peer-reviewArticle in proceedings

  69. 1992
  70. Published

    Application and Theory of Petri Nets. / Jensen, Kurt (Editor).

    Springer, 1992. 398 p. (Lecture Notes in Computer Science, Vol. 616).

    Publication: ResearchAnthology

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

    Publication: ResearchBook

  72. 1991
  73. 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).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: ResearchBook chapter

  75. Published

    Design/CPN. A Reference Manual. / Jensen et. al, Kurt.

    Department of Computer Science, Aarhus University, 1991.

    Publication: CommunicationReport

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

    Publication: Research - peer-reviewArticle in proceedings

  77. Published

    High-level Petri Nets : Theory and Applications. / Jensen, Kurt (Editor); Rozenberg, Grzegorz (Editor).

    London, UK : Springer, 1991. 724 p.

    Publication: ResearchAnthology

  78. 1990
  79. Published

    Design/CPN Extensions. / Jensen, Kurt; Huber, Peter; Shapiro, Robert M.

    II. ed. Cambridge, MA, USA : Meta Software Corporation, 1990.

    Publication: ResearchWorking paper

  80. 1989
  81. 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.

    Publication: ResearchJournal article

  82. 1987
  83. 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).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewArticle in proceedings

  87. 1986
  88. 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).

    Publication: Research - peer-reviewArticle in proceedings

  89. Published

    Reachability Trees for High-level Petri Nets. / Jensen, Kurt; Jensen, Arne M.; Jepsen, Leif Obel; Huber, Peter.

    In: Theoretical Computer Science, Vol. 45, No. 3, 1986, p. 261-292.

    Publication: Research - peer-reviewJournal article

  90. 1985
  91. Published
  92. 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.

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewArticle in proceedings

  94. Published

    Towards Reachability Trees for High-level Petri Nets. / Huber, Peter; Jensen, Arne M.; Jepsen, Leif O.; Jensen, Kurt.

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

    Publication: Research - peer-reviewArticle in proceedings

  95. 1983
  96. 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.

    Publication: Research - peer-reviewArticle in proceedings

  97. 1982
  98. 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).

    Publication: Research - peer-reviewArticle in proceedings

  99. 1981
  100. Published

    Coloured Petri Nets and the Invariant Method. / Jensen, Kurt.

    In: Theoretical Computer Science, Vol. 14, No. 3, 1981, p. 317-336.

    Publication: Research - peer-reviewJournal article

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

    Publication: Research - peer-reviewArticle in proceedings

  102. 1980
  103. 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).

    Publication: Research - peer-reviewArticle in proceedings

  104. Published

    Epsilon. A System Description Language. / Jensen, Kurt; Kyng, Morten.

    Department of Computer Science, Aarhus University, 1980.

    Publication: ResearchWorking paper

  105. Published

    Net Modeller i Systembeskrivelse : Summary of Ph. D. thesis. / Jensen, Kurt.

    Århus Universitet : Århus Universitetsforlag, 1980.

    Publication: ResearchPh.D. thesis

  106. 1979
  107. 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).

    Publication: Research - peer-reviewArticle in proceedings

  108. Published

    Delta Semantics Defined By Petri Nets. / Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann.

    Aarhus Universitetsforlag, 1979.

    Publication: ResearchWorking paper

  109. 1978
  110. Published

    Extended and Hyper Petri nets. / Jensen, Kurt.

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

    Publication: ResearchReport