Aarhus University Seal / Aarhus Universitets segl

Kurt Jensen

  1. 2019
  2. Udgivet

    Carl Adam Petri : a tribute from Aarhus. / Jensen, Kurt; Nielsen, Mogens.

    Carl Adam Petri: ideas, personality, impact. red. / Wolfgang Reisig; Grzegorz Rozenberg. Cham : Springer, 2019. s. 81-84.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiFormidling

  3. 2015
  4. Udgivet

    Colored Petri nets : a graphical language for formal modeling and validation of concurrent systems. / Jensen, Kurt; Kristensen, Lars M.

    I: Communications of the A C M, Bind 58, Nr. 6, 2015, s. 61-70 .

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  5. 2013
  6. Udgivet

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

    Springer VS, 2013. 423 s. (Lecture Notes in Computer Science, Bind 7480).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  7. 2012
  8. Udgivet

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

    I: Theoretical Computer Science, Bind 429, 2012, s. 169–179.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  9. Udgivet

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

    Springer, 2012. 293 s. (Lecture Notes in Computer Science, Bind 6900).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  10. Udgivet

    Transactions on Petri Nets and Other Models of Concurrency VI : ToPNoC. / Jensen, Kurt (Redaktør); Aalst, Wil M. van der (Redaktør); Marsan, Marco Ajmone (Redaktør); Franceschinis, Giuliana (Redaktør); Kleijn , Jetty (Redaktør); Kristensen, Lars Michael (Redaktør).

    Springer, 2012. 365 s. (Lecture Notes in Computer Science, Bind 7400).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  11. 2010
  12. 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, Bind 6550).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  13. 2009
  14. Udgivet

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

    Springer, 2009. 384 s.

    Publikation: Bog/antologi/afhandling/rapportBogForskning

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

    Publikation: Working paper/Preprint Working paperForskning

  16. 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, Bind 5460).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  17. 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, Bind 5800).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

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

    Publikation: Working paper/Preprint Working paperForskning

  20. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  21. 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), Bind I, 2008, s. 19-34.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  22. 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, Bind 5100).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  23. 2007
  24. 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, Bind 9, Nr. 3/4, 2007, s. 213-254.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

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

    Publikation: Working paper/Preprint Working paperForskning

  26. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  27. Udgivet

    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. s. 67-77.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

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

    Publikation: Working paper/Preprint Working paperForskning

  30. 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, Bind 8, Nr. 3, 2006, s. 177-299.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

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

    Publikation: Working paper/Preprint Working paperForskning

  33. 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, Bind 345, Nr. 1, 2005, s. 1-170.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  34. 2004
  35. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

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

    Publikation: Working paper/Preprint Working paperForskning

  37. Udgivet

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

    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: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskning

  38. Udgivet

    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. red. / H. Ehrig; W. Damm; J. Desel; M. Grosse-Rhode; W. Reif; E. Schneider; E. Westkämper. Bind 3147 Springer, 2004. s. 248-269 (Lecture Notes in Computer Science, Bind 3147).

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til rapportForskning

  39. Udgivet
  40. 2003
  41. 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).

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  42. 2002
  43. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

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

    Publikation: Working paper/Preprint Working paperForskning

  45. 2001
  46. 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).

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

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

    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, Bind 2031).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  48. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

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

    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: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  50. Udgivet

    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. s. 14-15.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

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

    Publikation: Working paper/Preprint Working paperForskning

  52. 2000
  53. Udgivet

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

    Department of Computer Science, Aarhus University, 2000.

    Publikation: Working paper/Preprint Working paperForskning

  54. 1999
  55. 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.

    Publikation: Working paper/Preprint Working paperForskning

  56. 1998
  57. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  58. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLederForskning

  59. 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, Bind 2, Nr. 2, 1998, s. 98-132.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

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

    Publikation: Working paper/Preprint Working paperForskning

  61. 1997
  62. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  63. 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: Bog/antologi/afhandling/rapportBogForskning

  64. 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: Bog/antologi/afhandling/rapportBogForskning

  65. 1996
  66. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  67. 1995
  68. 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: Bog/antologi/afhandling/rapportBogForskning

  69. 1994
  70. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  71. 1992
  72. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  73. 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: Bog/antologi/afhandling/rapportBogForskning

  74. 1991
  75. Udgivet

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

    Advances in Petri Nets 1990. red. / Grzegorz Rozenberg. Springer, 1991. s. 342-416 (Lecture Notes in Computer Science, Bind 483).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  76. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskning

  77. Udgivet

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

    Department of Computer Science, Aarhus University, 1991.

    Publikation: Bog/antologi/afhandling/rapportRapportFormidling

  78. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  79. Udgivet

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

    London, UK : Springer, 1991. 724 s.

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  80. 1990
  81. Udgivet

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

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

    Publikation: Working paper/Preprint Working paperForskning

  82. 1989
  83. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  84. 1987
  85. Udgivet

    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. s. 395-401.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  86. Udgivet

    Coloured Petri Nets. / Jensen, Kurt.

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  87. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  88. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  89. 1986
  90. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  91. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  92. 1985
  93. Udgivet
  94. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  95. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  96. Udgivet

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

    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, Bind 188).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  97. 1983
  98. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  99. 1982
  100. Udgivet

    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. red. / Claude Girault; Wolfgang Reisig. Springer, 1982. s. 64 - 71 (Informatik-Fachberichte, Bind 52).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  101. 1981
  102. Udgivet

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

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

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  103. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  104. 1980
  105. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  106. Udgivet

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

    Department of Computer Science, Aarhus University, 1980.

    Publikation: Working paper/Preprint Working paperForskning

  107. Udgivet

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

    Århus Universitet : Aarhus Universitetsforlag, 1980.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  108. 1979
  109. Udgivet

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

    Semantics of Concurrent Computation. red. / Gilles Kahn. Springer, 1979. s. 348 - 368 (Lecture Notes in Computer Science, Bind 70).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  110. Udgivet

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

    Aarhus Universitetsforlag, 1979.

    Publikation: Working paper/Preprint Working paperForskning

  111. 1978
  112. Udgivet

    Extended and Hyper Petri nets. / Jensen, Kurt.

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning