Du er her: Om instituttet » Personer og Lokationer » Personer » Kurt Jensen » Publikationer

Kurt Jensen

1 - 79 ud af 79Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2012
  2. Udgivet

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

    I: Theoretical Computer Science, Vol. 429, 2012, s. 169-179.

    Publikation: Forskning - peer review › Tidsskriftartikel

  3. 2010
  4. Udgivet

    Transactions on Petri Nets and Other Models of Concurrency IV : ToPNoC. / Jensen, Kurt (Redaktør) ; Donatelli, Susanna (Redaktør) ; Koutny, Maciej (Redaktør).

    Springer, 2010. 224 s. (Lecture Notes in Computer Science).

    Publikation: Forskning › Antologi

  5. 2009
  6. Udgivet

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

    Springer, 2009. 384 s.

    Publikation: Forskning › Bog

  7. Udgivet

    Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 19-21, 2009. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2009. (DAIMI PB; 590).

    Publikation: Forskning › Working paper

  8. Udgivet

    Transactions on Petri Nets and Other Models of Concurrency II : ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. / Jensen, Kurt (Redaktør) ; Wil M.P. van der, Aalst (Redaktør).

    Springer, 2009. 295 s. (Lecture Notes in Computer Science).

    Publikation: Forskning › Antologi

  9. Udgivet

    Transactions on Petri Nets and Other Models of Concurrency III : ToPNoC. / Jensen, Kurt (Redaktør) ; Billington, Jonathan (Redaktør) ; Koutny, Maciej (Redaktør).

    Springer, 2009. 255 s. (Lecture Notes in computer Science).

    Publikation: Forskning › Antologi

  10. 2008
  11. Udgivet

    Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 20-22, 2008. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2008. (DAIMI PB; 588).

    Publikation: Forskning › Working paper

  12. Udgivet

    Special Section on Coloured Petri Nets. / Jensen, Kurt (Redaktør).

    I: International Journal on Software Tools for Technology Transfer, Vol. 10, Nr. 1, 2008, s. 1-110.

    Publikation: Forskning › Leder

  13. Udgivet

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

    I: LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), Vol. I, 2008, s. 19-34.

    Publikation: Forskning - peer review › Tidsskriftartikel

  14. Udgivet

    Transactions on Petri Nets and Other Models of concurrency I : ToPNoC. / Jensen, Kurt (Redaktør) ; Aalst, Wil M.P. van der (Redaktør) ; Billington, Jonathan (Redaktør).

    Springer, 2008. 249 s. (Lecture Notes in Computer Science).

    Publikation: Forskning › Antologi

  15. 2007
  16. Udgivet

    Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. / Jensen, Kurt ; Kristensen, Lars Michael ; Wells, Lisa Marie.

    I: International Journal on Software Tools for Technology Transfer, Vol. 9, Nr. 3/4, 2007, s. 213-254.

    Publikation: Forskning - peer review › Tidsskriftartikel

  17. Udgivet

    Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 22-24, 2007. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2007. (DAIMI PB; 584).

    Publikation: Forskning › Working paper

  18. Udgivet

    Special Section on Coloured Petri Nets. / Jensen, Kurt.

    I: International Journal on Software Tools for Technology Transfer, Vol. 9, Nr. 3-4, 2007, s. 209-411.

    Publikation: Forskning › Leder

  19. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  20. 2006
  21. Udgivet

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Redaktør).

    I: Mangler titel. germany, 2006.

    Publikation: Forskning › Bidrag til bog/antologi

  22. Udgivet

    Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 24-26, 2006. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2006. (DAIMI PB; 579).

    Publikation: Forskning › Working paper

  23. Udgivet

    Special Section on Tools and Algorithms for the Construction and Analysis of Systems. / Jensen, Kurt (Redaktør) ; Podelski, Andreas (Redaktør).

    I: International Journal on Software Tools for Technology Transfer, Vol. 8, Nr. 3, 2006, s. 177-299.

    Publikation: Forskning › Leder

  24. 2005
  25. Udgivet

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Redaktør).

    I: Mangler titel. Germany, 2005.

    Publikation: Forskning › Bidrag til bog/antologi

  26. Udgivet

    Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 24-26, 2005. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2005. (DAIMI PB; 576).

    Publikation: Forskning › Working paper

  27. Udgivet

    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 (Redaktør) ; Podelski, Andreas (Redaktør).

    I: Theoretical Computer Science, Vol. 345, Nr. 1, 2005, s. 1-170.

    Publikation: Forskning › Leder

  28. 2004
  29. Udgivet

    Theoretical Computer Science. / Jensen, Kurt (Redaktør).

    I: Mangler titel. 2004.

    Publikation: Forskning › Bidrag til bog/antologi

  30. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  31. Udgivet

    Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 8-11, 2004. / Jensen, K. (Redaktør).

    Department of Computer Science, Aarhus University, 2004. (DAIMI PB; 570).

    Publikation: Forskning › Working paper

  32. Udgivet

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

    I: Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. PB-570 of Daimi Reports. udg. Department of Computer Science, University of Aarhus, 2004. s. 1-18.

    Publikation: Forskning › Bidrag til bog/antologi

  33. Udgivet

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

    I: Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report. red. / H. Ehrig ; W. Damm ; J. Desel ; M. Grosse-Rhode ; W. Reif ; E. Schneider ; E. Westkämper. Vol. 3147 Springer, 2004. s. 248-269 (Lecture Notes in Computer Science).

    Publikation: Forskning › Bidrag til rapport

  34. Udgivet

    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 (Redaktør) ; Podelski, Andreas (Redaktør).

    Berlin : Springer, 2004. 608 s. (Lecture Notes in Computer Science).

    Publikation: Forskning › Antologi

  35. 2003
  36. Udgivet

    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 (Redaktør) ; Best, Elke (Redaktør).

    I: Applications and Theory of Petri Nets 2003. red. / Wil van der Aalst ; Eike Best. Vol. 2679 Springer, 2003. s. 450-462 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  37. 2002
  38. Udgivet

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

    I: Ikke angivet. DAIMI PB-560. udg. Department of Computer Science, University of Aarhus, 2002. s. 61-80.

    Publikation: Forskning › Konferencebidrag i proceedings

  39. Udgivet

    Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, August 28-30, 2002. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2002. (DAIMI PB; 560).

    Publikation: Forskning › Working paper

  40. 2001
  41. Udgivet

    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 (Redaktør) ; Koutny, Maciej (Redaktør).

    I: Applications and Theory of Petri Nets 2001. red. / Gerhard Goos ; Juris Hartmanis ; Jan van Leeuwen. Vol. 2075 Springer, 2001. s. 71-80 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  42. Udgivet

    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.

    I: Tools and Algorithms for the Construction and Analysis of Systems. red. / Tiziana Margaria ; Wang Yi. Springer, 2001. s. 574-577 (Lecture Notes in computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  43. Udgivet

    Special Section on Practical Use of High-level Petri Nets. / Jensen, Kurt (Redaktør).

    I: International Journal on Software Tools for Technology Transfer, Vol. 3, Nr. 4, 2001, s. 369-430.

    Publikation: Forskning › Leder

  44. Udgivet

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

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

    Publikation: Forskning › Konferencebidrag i proceedings

  45. Udgivet

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

    I: 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. s. 33-42.

    Publikation: Forskning › Konferencebidrag i proceedings

  46. Udgivet

    Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, August 29-31, 2001. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 2001. (DAIMI PB; 554).

    Publikation: Forskning › Working paper

  47. 2000
  48. Udgivet

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Redaktør).

    I: Mangler titel. 2000.

    Publikation: Forskning › Bidrag til bog/antologi

  49. Udgivet

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

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

    Publikation: Forskning › Working paper

  50. 1999
  51. Udgivet

    Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN : Aarhus, Denmark, 13-15 October 1999. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 1999. (DAIMI PB; 541).

    Publikation: Forskning › Working paper

  52. 1998
  53. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  54. Udgivet

    Special Section on Coloured Petri Nets. / Jensen, Kurt (Redaktør).

    I: International Journal on Software Tools for Technology Transfer, Vol. 2, Nr. 2, 1998, s. 95-191.

    Publikation: Forskning › Leder

  55. Udgivet

    The  Practitioner's guide to Coloured Petri Nets. / Kristensen, Lars Michael ; Christensen, Søren ; Jensen, Kurt.

    I: International Journal on Software Tools for Technology Transfer, Vol. 2, Nr. 2, 1998, s. 98-132.

    Publikation: Forskning - peer review › Tidsskriftartikel

  56. Udgivet

    Workshop on Practical Use of Coloured Petri Nets and Design/CPN : Aarhus, Denmark, June 10-12, 1998. / Jensen, Kurt (Redaktør).

    Department of Computer Science, Aarhus University, 1998. (DAIMI PB; 532).

    Publikation: Forskning › Working paper

  57. 1997
  58. Udgivet

    International Journal on Software Tools for Technology Transfer. / Jensen, Kurt (Redaktør).

    I: Mangler titel. Germany, 1997.

    Publikation: Forskning › Bidrag til bog/antologi

  59. Udgivet

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

    I: Tools and Algorithms for the Construction and Analysis of Systems. red. / Ed Brinksma. Vol. 1217 Springer, 1997. s. 203-208 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  60. Udgivet

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

    2. ed., 2. corr. printing udg. Springer, 1997. 234 s. (Monographs in theoretical computer science: an EATCS series).

    Publikation: Forskning › Bog

  61. Udgivet

    Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. / Jensen, Kurt.

    Springer, 1997. 265 s. (Monographs in theoretical computer science: an EATCS series).

    Publikation: Forskning › Bog

  62. 1996
  63. Udgivet

    Condensed State Spaces for Symmetrical Coloured Petri Nets. / Jensen, Kurt ; Emerson, Ernest Allan (Redaktør).

    I: Formal Methods in System Design, Vol. 9, Nr. 1/2, 1996, s. 7-40.

    Publikation: Forskning - peer review › Tidsskriftartikel

  64. 1995
  65. Udgivet

    Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. / Jensen, Kurt.

    Springer, 1995. 172 s. (Monographs in Theoretical Computer Science: an EATCS series).

    Publikation: Forskning › Bog

  66. 1994
  67. Udgivet

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

    I: A Decade of Concurrency Reflections and Perspectives. red. / J.W.de Bakker ; W.-P.de Roever ; G. Rozenberg. Vol. 803 Springer, 1994. s. 230-272 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  68. 1992
  69. Udgivet

    Application and Theory of Petri Nets. / Jensen, Kurt (Redaktør).

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

    Publikation: Forskning › Antologi

  70. Udgivet

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

    Springer, 1992. 234 s. (Monographs in Theoretical Computer Science: an EATCS series).

    Publikation: Forskning › Bog

  71. 1991
  72. Udgivet

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

    I: Advances in Petri Nets 1990. red. / Grzegorz Rozenberg. Springer, 1991. s. 342-416 (Lecture notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  73. Udgivet

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

    I: High-level Petri Nets. Theory and Application. red. / Kurt Jensen ; Gregory Rozenberg. Vol. Advances in Petri Nets 1991 London, UK : Springer, 1991. s. 691-717.

    Publikation: Forskning › Bidrag til bog/antologi

  74. Udgivet

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

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

    Publikation: Forskning › Rapport

  75. Udgivet

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

    I: Advances in Petri Nets 1990. red. / Gezegorz Rozenberg. Springer, 1991. s. 313-341 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  76. Udgivet

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

    London, UK : Springer, 1991. 724 s.

    Publikation: Forskning › Antologi

  77. 1990
  78. Udgivet

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

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

    Publikation: Forskning › Working paper

  79. 1989
  80. Udgivet

    Design/CPN : A tool package supporting the use of Coloured Petri Nets. / Albert, Ken ; Jensen, Kurt ; Sharpiro, Robert M..

    I: Petri Net Newsletter, Vol. 32, 1989, s. 22-35.

    Publikation: Forskning › Tidsskriftartikel

  81. 1987
  82. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  83. Udgivet

    Coloured Petri Nets. / Jensen, Kurt.

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  84. Udgivet

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

    I: Petri Nets: Applications and Relationships to Other Models of Concurrency. red. / Wilfried Brauer ; Wolfgang Reisig ; Grzegorz Rozenberg. Vol. 255/Part II Springer, 1987. s. 4-19 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  85. Udgivet

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

    I: Petri Nets: Applications and Relationships to Other Models of Concurrency. red. / W. Brauer ; W. Reisig ; G. Rozenberg. Vol. 255/Part II Springer, 1987. s. 20-61 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  86. 1986
  87. Udgivet

    Coloured Petri Nets. / Jensen, Kurt.

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  88. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  89. Udgivet

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

    I: Theoretical Computer Science, Vol. 45, Nr. 3, 1986, s. 261-292.

    Publikation: Forskning - peer review › Tidsskriftartikel

  90. 1985
  91. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  92. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  93. Udgivet

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

    I: Advances in Petri Nets 1984, Proceedings. red. / Grzegorz Rozenberg ; Hartmann J. Genrich ; Gérard Roucairol. Springer, 1985. s. 215-233 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  94. Udgivet

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

    1985.

    Publikation: Forskning › Antologi

  95. 1983
  96. Udgivet

    High-level Petri Nets. / Jensen, Kurt.

    I: 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. red. / Anastasia Pagnoni ; Grzegorz Rozenberg. Vol. 66 Springer, 1983. s. 166-180.

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  97. 1982
  98. Udgivet

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

    I: Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets. red. / Claude Girault ; Wolfgang Reisig. Springer Verlag. ISBN-rødder: 0-978, 1982. s. 64 - 71 (Informatik-Fachberichte).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  99. 1981
  100. Udgivet

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

    I: Theoretical Computer Science, Vol. 14, Nr. 3, 1981, s. 317-336.

    Publikation: Forskning - peer review › Tidsskriftartikel

  101. Udgivet

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

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

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  102. 1980
  103. Udgivet

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

    I: Mathematical Foundations of Computer Science 1980. red. / Piotr Dembinski. Vol. 88 Springer, 1980. s. 348-361 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  104. Udgivet

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

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

    Publikation: Forskning › Working paper

  105. Udgivet

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

    Århus Universitet : Århus Universitetsforlag, 1980.

    Publikation: Forskning › PhD. afhandling

  106. 1979
  107. Udgivet

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

    I: Semantics of Concurrent Computation. red. / Gilles Kahn. Springer, 1979. s. 348 - 368 (Lecture notes in computer science).

    Publikation: Forskning - peer review › Konferencebidrag i proceedings

  108. Udgivet

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

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

    Publikation: Forskning › Working paper

  109. 1978
  110. Udgivet

    Extended and Hyper Petri nets. / Jensen, Kurt.

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

    Publikation: Forskning › Rapport