The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kurt Jensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frits Feldbrugge, Kurt Jensen
    Petri Net Tool Overview 1986. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:20-61 [Conf]
  2. Kurt Jensen
    Computer Tools for Construction, Modification and Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:4-19 [Conf]
  3. Kurt Jensen
    Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:248-299 [Conf]
  4. Kurt Jensen
    An Introduction to the Practical Use of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:237-292 [Conf]
  5. Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Application of Coloured Petri Nets in System Development. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:626-685 [Conf]
  6. Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen
    CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:71-80 [Conf]
  7. Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
    Towards reachability trees for high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:215-233 [Conf]
  8. Peter Huber, Kurt Jensen, Robert M. Shapiro
    Hierarchies in coloured Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:313-341 [Conf]
  9. Kurt Jensen
    Coloured Petri Nets: Status and Outlook. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:1-2 [Conf]
  10. Kurt Jensen
    High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:166-180 [Conf]
  11. Kurt Jensen
    The design of a program package for an introductory Petri net course. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:259-266 [Conf]
  12. Kurt Jensen
    Coloured Petri nets: A high level language for system design and analysis. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:342-416 [Conf]
  13. Kurt Jensen, Morten Kyng
    Petri Nets and Semantics of System Descriptions. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:64-71 [Conf]
  14. Kurt Jensen, Erik Meineche Schmidt
    Pascal semantics by a combination of denotational semantics and high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:297-329 [Conf]
  15. Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
    CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:450-462 [Conf]
  16. Lars Michael Kristensen, Kurt Jensen
    Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:248-269 [Conf]
  17. Kurt Jensen
    A Method to Compare the Descriptive Power of Different Types of Petri Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:348-361 [Conf]
  18. Kurt Jensen
    How to Find Invariants for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:327-338 [Conf]
  19. Kurt Jensen
    An Introduction to the Theoretical Aspects of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:230-272 [Conf]
  20. Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
    A Petri Net Definition of a System Description Language. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:348-368 [Conf]
  21. Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen
    CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:574-577 [Conf]
  22. Kurt Jensen
    A Brief Introduction to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:203-208 [Conf]
  23. Kurt Jensen
    Condensed State Spaces for Symmetrical Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:9, n:1/2, pp:7-40 [Journal]
  24. Kurt Jensen
    Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:369-371 [Journal]
  25. Kurt Jensen
    Coloured Petri Nets - Preface by the Section Editor. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:95-97 [Journal]
  26. Kurt Jensen, Andreas Podelski
    Tools and algorithms for the construction and analysis of systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:177-179 [Journal]
  27. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
    The Practitioner's Guide to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:98-132 [Journal]
  28. Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
    Reachability Trees for High-level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:45, n:3, pp:261-292 [Journal]
  29. Kurt Jensen
    Coloured Petri Nets and the Invariant-Method. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:14, n:, pp:317-336 [Journal]
  30. Kurt Jensen, Andreas Podelski
    Special issue. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:1- [Journal]
  31. Kurt Jensen, Lars Michael Kristensen, Lisa Wells
    Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:213-254 [Journal]
  32. Kurt Jensen
    Special section on coloured Petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:209-212 [Journal]

Search in 0.129secs, Finished in 0.131secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002