Aarhus University Seal / Aarhus Universitets segl

Kurt Jensen


Short biography

Kurt Jensen is professor at the Department of Computer Science at Aarhus University, Denmark.

Kurt Jensen is the "father" of Coloured Petri Nets. He made the initial definition of the CPN language, including the hierarchy constructs that allow a Petri net model to consist of a set of cooperating sub-models. He played a key role in the development of analysis methods and tool support for high-level Petri Nets, in particular place invariants and state spaces. He was the first to exploit symmetry to reduce state spaces and he also got the basic idea behind the more recent sweep-line method.

Kurt Jensen is the founder of the CPN group at Aarhus University , Denmark. The group was considered to be the world-leader with respect to the practical application of high-level Petri Nets. The group made the Design/CPN tool, which was licensed to 1,000 organisations in 60 countries. The group has also developed CPN Tools, which is the "successor" of Design/CPN. It has more than 10,000 licenses in 150 countries.