Concepedia

Kurt Jensen

KJ

Statistics

Publications

68

Citations

4.3K

H-Index

28

Active since

1945

Affiliations

University of Southern Denmark(Current)

Aarhus University

University of Copenhagen

Rigshospitalet

Odense University Hospital

Kurt Jensen is an author at University of Southern Denmark specializing in engineering, computer science, and health sciences.

ORCID

Top concepts

Publications per year

1945–2023

68

Publications

68

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

, , +15

Coloured petri nets and the invariant-method

Kurt Jensen · Theoretical Computer Science · 1981 · 610 citations

, , +5

The practitioner's guide to coloured Petri nets

Lars Michael Kristensen, Søren Christensen, Kurt Jensen · International Journal on Software Tools for Technology Transfer · 1998 · 312 citations

, , +9

Colored Petri nets

Kurt Jensen, Lars Michael Kristensen · Communications of the ACM · 2015 · 150 citations

, , +23

An Introduction to the Theoretical Aspects of Coloured Petri Nets

Kurt Jensen · DAIMI Report Series · 1994 · 125 citations · Full text

, , +17

Rows per page

1–5 of 68