Kurt Jensen

Kurt Jensen (born 1950) is a Danish computer scientist at Aarhus University who is the principal developer of colored Petri nets (CPNs) and the creator of CPN Tools, the leading software environment for modeling and analyzing CPNs. Jensen's work extended the basic Petri net formalism with data-bearing tokens, hierarchical net structures, and temporal annotations, transforming Petri nets from a theoretical curiosity into an industrial-strength modeling language. His 1992–1997 monograph series Coloured Petri Nets remains the definitive reference. Jensen also pioneered the application of Petri nets to communication protocol verification, most notably the validation of the Internet protocol suite using CPN models. His career demonstrates that the gap between theory and practice in formal methods is bridgeable — but only by researchers willing to spend decades building tools, not just proving theorems.

_The colored Petri net is often dismissed by theorists as a mere "extension" of the real thing — as if adding data to a formalism were a minor engineering detail rather than a fundamental transformation. Jensen's work proves the opposite: the addition of color does not corrupt the purity of Petri nets; it reveals their latent expressiveness. The theorist who rejects CPNs because they are "too complex" is not protecting formal purity. She is admitting that her tools cannot scale to the systems that actually exist._