default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKurt Jensen
Person information
- affiliation: Aarhus University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j15]David S. Wood
, Kurt Jensen, Allison Crane, Hyunwook Lee, Hayden Dennis, Joshua Gladwell, Anne Shurtz, David T. Fullwood, Matthew K. Seeley, Ulrike H. Mitchell, William F. Christensen, Anton E. Bowden:
Accurate Prediction of Knee Angles during Open-Chain Rehabilitation Exercises Using a Wearable Array of Nanocomposite Stretch Sensors. Sensors 22(7): 2499 (2022)
2010 – 2019
- 2019
- [p1]Kurt Jensen, Mogens Nielsen:
Carl Adam Petri: A Tribute from Aarhus. Carl Adam Petri: Ideas, Personality, Impact 2019: 81-84 - 2015
- [j14]Kurt Jensen, Lars Michael Kristensen:
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6): 61-70 (2015) - 2013
- [e9]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3 [contents] - 2012
- [j13]Kurt Jensen, Lars Michael Kristensen, Thomas Mailund:
The sweep-line state space exploration method. Theor. Comput. Sci. 429: 169-179 (2012) - [e8]Kurt Jensen, Susanna Donatelli, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science 6900, Springer 2012, ISBN 978-3-642-29071-8 [contents] - [e7]Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5 [contents] - 2010
- [e6]Kurt Jensen, Susanna Donatelli, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, ISBN 978-3-642-18221-1 [contents]
2000 – 2009
- 2009
- [b4]Kurt Jensen, Lars Michael Kristensen:
Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer 2009, ISBN 978-3-642-00283-0, pp. I-XI, 1-384 - [e5]Kurt Jensen, Wil M. P. van der Aalst:
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems. Lecture Notes in Computer Science 5460, Springer 2009, ISBN 978-3-642-00898-6 [contents] - [e4]Kurt Jensen, Jonathan Billington, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, ISBN 978-3-642-04854-8 [contents] - 2008
- [j12]Kurt Jensen:
Special section on Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 10(1): 1-3 (2008) - [j11]Lars Michael Kristensen, Kurt Jensen:
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 19-34 (2008) - [e3]Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, ISBN 978-3-540-89286-1 [contents] - 2007
- [j10]Kurt Jensen:
Special section on coloured Petri nets. Int. J. Softw. Tools Technol. Transf. 9(3-4): 209-212 (2007) - [j9]Kurt Jensen, Lars Michael Kristensen, Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3-4): 213-254 (2007) - 2006
- [j8]Kurt Jensen, Andreas Podelski:
Tools and algorithms for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 8(3): 177-179 (2006) - 2005
- [j7]Kurt Jensen, Andreas Podelski:
Special issue. Theor. Comput. Sci. 345(1): 1 (2005) - 2004
- [c23]Lars Michael Kristensen, Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report 2004: 248-269 - [e2]Kurt Jensen, Andreas Podelski:
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. Lecture Notes in Computer Science 2988, Springer 2004, ISBN 3-540-21299-X [contents] - 2003
- [c22]Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen:
Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets 2003: 626-685 - [c21]Kurt Jensen:
Coloured Petri Nets: Status and Outlook. ICATPN 2003: 1-2 - [c20]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. ICATPN 2003: 450-462 - 2001
- [j6]Kurt Jensen:
Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 3(4): 369-371 (2001) - [c19]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. ICATPN 2001: 71-80 - [c18]Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Katrine Ravn, Anne V. Ratzer, Søren Christensen, Kurt Jensen:
CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts 2001: 11-12 - [c17]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. TACAS 2001: 574-577
1990 – 1999
- 1998
- [j5]Kurt Jensen:
Coloured Petri Nets - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. 2(2): 95-97 (1998) - [j4]Lars Michael Kristensen, Søren Christensen, Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 98-132 (1998) - 1997
- [b3]Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1997, ISBN 978-3-642-64556-3, pp. I-IX, 1-268 - [c16]Kurt Jensen:
A Brief Introduction to Coloured Petri Nets. TACAS 1997: 203-208 - 1996
- [b2]Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1996, ISBN 978-3-642-08243-6, pp. I-XII, 1-236 - [j3]Kurt Jensen:
Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods Syst. Des. 9(1/2): 7-40 (1996) - [c15]Kurt Jensen:
An Introduction to the Practical Use of Coloured Petri Nets. Petri Nets (2) 1996: 237-292 - 1993
- [c14]Kurt Jensen:
An Introduction to the Theoretical Aspects of Coloured Petri Nets. REX School/Symposium 1993: 230-272 - 1992
- [b1]Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1. EATCS Monographs on Theoretical Computer Science, Springer 1992, ISBN 978-3-662-06291-3, pp. I-X, 1-236 - [e1]Kurt Jensen:
Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Lecture Notes in Computer Science 616, Springer 1992, ISBN 3-540-55676-1 [contents]
1980 – 1989
- 1989
- [c13]Peter Huber, Kurt Jensen, Robert M. Shapiro:
Hierarchies in coloured Petri nets. Applications and Theory of Petri Nets 1989: 313-341 - [c12]Kurt Jensen:
Coloured Petri nets: A high level language for system design and analysis. Applications and Theory of Petri Nets 1989: 342-416 - 1986
- [j2]Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen:
Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45(3): 261-292 (1986) - [c11]Kurt Jensen:
Computer Tools for Construction, Modification and Analysis of Petri Nets. Advances in Petri Nets 1986: 4-19 - [c10]Frits Feldbrugge, Kurt Jensen:
Petri Net Tool Overview 1986. Advances in Petri Nets 1986: 20-61 - [c9]Kurt Jensen:
Coloured Petri Nets. Advances in Petri Nets 1986: 248-299 - 1985
- [c8]Kurt Jensen, Erik Meineche Schmidt:
Pascal semantics by a combination of denotational semantics and high-level Petri nets. Applications and Theory in Petri Nets 1985: 297-329 - 1984
- [c7]Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen:
Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 215-233 - [c6]Kurt Jensen:
The design of a program package for an introductory Petri net course. European Workshop on Applications and Theory in Petri Nets 1984: 259-266 - 1982
- [c5]Kurt Jensen:
High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 166-180 - 1981
- [j1]Kurt Jensen:
Coloured Petri Nets and the Invariant-Method. Theor. Comput. Sci. 14: 317-336 (1981) - [c4]Kurt Jensen, Morten Kyng:
Petri Nets and Semantics of System Descriptions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 64-71 - [c3]Kurt Jensen:
How to Find Invariants for Coloured Petri Nets. MFCS 1981: 327-338 - 1980
- [c2]Kurt Jensen:
A Method to Compare the Descriptive Power of Different Types of Petri Nets. MFCS 1980: 348-361
1970 – 1979
- 1979
- [c1]Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen:
A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation 1979: 348-368
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
