You are here: About » People and Locations » People » Kurt Jensen » Publications

Kurt Jensen

1 - 79 out of 79Page size: 100
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. Published

    The sweep-line state space exploration method. / Jensen, Kurt ; Kristensen, L.M. ; Mailund, Thomas.

    In: Theoretical Computer Science, Vol. 429, 2012, p. 169-179.

    Publication: Research - peer-review › Journal article

  3. 2010
  4. 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).

    Publication: Research › Anthology

  5. 2009
  6. Published

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

    Springer, 2009. 384 p.

    Publication: Research › Book

  7. 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. (DAIMI PB; 590).

    Publication: Research › Working paper

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

    Publication: Research › Anthology

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

    Publication: Research › Anthology

  10. 2008
  11. 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; 588).

    Publication: Research › Working paper

  12. 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: Research › Editorial

  13. 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-review › Journal article

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

    Publication: Research › Anthology

  15. 2007
  16. 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-review › Journal article

  17. 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; 584).

    Publication: Research › Working paper

  18. 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: Research › Editorial

  19. Published

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

    In: Proceedings 2nd workshop on Teaching Concurrency. University of Podlasie, Institute of Computer Science, 2007. p. 67-77.

    Publication: Research - peer-review › Article in proceedings

  20. 2006
  21. Published

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Editor).

    In: Mangler titel. germany, 2006.

    Publication: Research › Book chapter

  22. 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. (DAIMI PB; 579).

    Publication: Research › Working paper

  23. 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: Research › Editorial

  24. 2005
  25. Published

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Editor).

    In: Mangler titel. Germany, 2005.

    Publication: Research › Book chapter

  26. 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. (DAIMI PB; 576).

    Publication: Research › Working paper

  27. 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: Research › Editorial

  28. 2004
  29. Published

    Theoretical Computer Science. / Jensen, Kurt (Editor).

    In: Mangler titel. 2004.

    Publication: Research › Book chapter

  30. Published

    Application of Coloured Petri Nets in System Development. / Kristensen, Lars Michael ; Jørgensen, Jens Bæk ; Jensen, Kurt.

    In: Lectures on Concurrency and Petri Nets. ed. / J. Desel ; W. Reisig ; G. Rozenberg. Springer, 2004. p. 626-685 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  31. 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. (DAIMI PB; 570).

    Publication: Research › Working paper

  32. Published

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

    In: 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: Research › Book chapter

  33. Published

    Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. / Kristensen, Lars Michael ; Jensen, Kurt.

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

    Publication: Research › Report chapter

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

    Publication: Research › Anthology

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

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

    Publication: Research - peer-review › Article in proceedings

  37. 2002
  38. Published

    Coloured Petri Nets in UML-Based Software Development : Designing Middleware for Pervasive Healthcare. / Jørgensen, J.B. ; Jensen, K. (Editor).

    In: Ikke angivet. DAIMI PB-560. ed. Department of Computer Science, University of Aarhus, 2002. p. 61-80.

    Publication: Research › Article in proceedings

  39. 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. (DAIMI PB; 560).

    Publication: Research › Working paper

  40. 2001
  41. 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).

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

    Publication: Research - peer-review › Article in proceedings

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

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

    Publication: Research - peer-review › Article in proceedings

  43. 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: Research › Editorial

  44. Published

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

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

    Publication: Research › Article in proceedings

  45. Published

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

    In: 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: Research › Article in proceedings

  46. 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. (DAIMI PB; 554).

    Publication: Research › Working paper

  47. 2000
  48. Published

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Editor).

    In: Mangler titel. 2000.

    Publication: Research › Book chapter

  49. Published

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

    Department of Computer Science, Aarhus University, 2000. (DAIMI PB; 547).

    Publication: Research › Working paper

  50. 1999
  51. 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. (DAIMI PB; 541).

    Publication: Research › Working paper

  52. 1998
  53. Published

    An Introduction to the Practical Use of Coloured Petri Nets. / Jensen, Kurt.

    In: Lecture on Petri Nets II: Applications. ed. / Wolfgang Reisig ; Grzegorz Rozenberg. Springer, 1998. p. 237-292 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  54. 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: Research › Editorial

  55. 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-review › Journal article

  56. 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. (DAIMI PB; 532).

    Publication: Research › Working paper

  57. 1997
  58. Published

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Editor).

    In: Mangler titel. Germany, 1997.

    Publication: Research › Book chapter

  59. Published

    A Brief Introduction to Coloured Petri Nets. / Jensen, Kurt.

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

    Publication: Research - peer-review › Article in proceedings

  60. 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: Research › Book

  61. 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: Research › Book

  62. 1996
  63. 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-review › Journal article

  64. 1995
  65. 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: Research › Book

  66. 1994
  67. Published

    An Introduction to the Theoretical Aspects of Coloured Petri nets. / Jensen, Kurt.

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

    Publication: Research - peer-review › Article in proceedings

  68. 1992
  69. Published

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

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

    Publication: Research › Anthology

  70. 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: Research › Book

  71. 1991
  72. Published

    Coloured Petri Nets : A High-level Language for System Design and Analysis. / Jensen, Kurt.

    In: Advances in Petri Nets 1990. ed. / Grzegorz Rozenberg. Springer, 1991. p. 342-416 (Lecture notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  73. Published

    Computer Tools for High-level Petri Nets. / Jensen, Kurt ; Feldbrugge, Frits.

    In: 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: Research › Book chapter

  74. Published

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

    http://www.daimi.au.dk/designCPN/man/ ed. Daimi, Århus, Danmark : Aarhus Universitetsforlag, 1991.

    Publication: Research › Report

  75. Published

    Hierarchies in Coloured Petri Nets. / Huber, Peter ; Jensen, Kurt ; Shapiro, Robert M..

    In: Advances in Petri Nets 1990. ed. / Gezegorz Rozenberg. Springer, 1991. p. 313-341 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  76. Published

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

    London, UK : Springer, 1991. 724 p.

    Publication: Research › Anthology

  77. 1990
  78. Published

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

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

    Publication: Research › Working paper

  79. 1989
  80. 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: Research › Journal article

  81. 1987
  82. Published

    Coloured Petri Nets : A way to describe and analyse real-world systems - without drowning in unnecessary details. / Jensen, Kurt.

    In: Proceedings of the fifth International Conference on Systems Engineering. IEEE, 1987. p. 395-401.

    Publication: Research - peer-review › Article in proceedings

  83. Published

    Coloured Petri Nets. / Jensen, Kurt.

    In: Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I. ed. / W. Brauer ; W. Reisig ; G. Rozenberg. Springer, 1987. p. 248-299 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  84. Published

    Computer Tools for Construction, Modification and Analysis of Petri Nets.. / Jensen, Kurt.

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

    Publication: Research - peer-review › Article in proceedings

  85. Published

    Petri Net Tool Overview 1986. / Jensen, Kurt ; Feldbrugge, Frits.

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

    Publication: Research - peer-review › Article in proceedings

  86. 1986
  87. Published

    Coloured Petri Nets. / Jensen, Kurt.

    In: Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I. ed. / Wilfried Brauer ; Wolfgang Reisig ; Grzegorz Rozenberg. Vol. 254 Springer, 1986. p. 248-299 (Lecture Notes in computer Science).

    Publication: Research - peer-review › Article in proceedings

  88. Published

    Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. / Jensen, Kurt ; Schmidt, Erik Meineche.

    In: Advances in Petri Nets 1985. ed. / G. Rozenberg. Vol. 222 Springer, 1986. p. 297-329 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article 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-review › Journal article

  90. 1985
  91. Published

    An Introduction to High-level Petri Nets. / Jensen, Kurt.

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

    Publication: Research - peer-review › Article in proceedings

  92. Published

    The Design of a Program Package for an Introductory Petri Net Course. / Jensen, Kurt.

    In: Advances in Petri Nets 1984. ed. / G. Rozenberg ; H. Genrich ; G. Roucairol. Vol. 188 Springer, 1985. p. 259-266 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  93. Published

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

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

    Publication: Research - peer-review › Article in proceedings

  94. Published

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

    1985.

    Publication: Research › Anthology

  95. 1983
  96. Published

    High-level Petri Nets. / Jensen, Kurt.

    In: 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-review › Article in proceedings

  97. 1982
  98. Published

    Petri Nets and Semantics of System Descriptions. / Jensen, Kurt ; Kyng, Morten.

    In: 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 Verlag. ISBN-rødder: 0-978, 1982. p. 64 - 71 (Informatik-Fachberichte).

    Publication: Research - peer-review › Article 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-review › Journal article

  101. Published

    How to Find Invariants for Coloured Petri Nets. / Jensen, Kurt.

    In: Mathematical Foundations of Computer Science 1981. ed. / J. Gruska ; M. Chytil. Vol. 118 Springer, 1981. p. 327-338 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  102. 1980
  103. Published

    A Method to Compare the Descriptive Power of Different Types of Petri Nets. / Jensen, Kurt.

    In: Mathematical Foundations of Computer Science 1980. ed. / Piotr Dembinski. Vol. 88 Springer, 1980. p. 348-361 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  104. Published

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

    Department of Computer Science, Aarhus University, 1980. (DAIMI PB; 150).

    Publication: Research › Working paper

  105. Published

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

    Århus Universitet : Århus Universitetsforlag, 1980.

    Publication: Research › Ph.d. thesis

  106. 1979
  107. Published

    A Petri Net Definition of a System Description Language. / Jensen, Kurt ; Kyng, Morten ; Madsen, Ole Lehrmann.

    In: Semantics of Concurrent Computation. ed. / Gilles Kahn. Springer, 1979. p. 348 - 368 (Lecture notes in computer science).

    Publication: Research - peer-review › Article in proceedings

  108. Published

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

    Aarhus Universitetsforlag, 1979. (Delta Project Report; 12). (DAIMI PB; 95).

    Publication: Research › Working paper

  109. 1978
  110. Published

    Extended and Hyper Petri nets. / Jensen, Kurt.

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

    Publication: Research › Report