Kurt Jensen es Profesor en el departamento de Ciencias de la Computación de la Universidad Aarhus, Dinamarca; además, es vice-director del mismo departamento. Por otro lado, es el creador de Redes de Petri Coloreadas (CPN, por sus siglas en inglés), realizó la definición del Lenguaje CPN, incluyendo la construcción jerárquica de una Red de Petri; además, desempeñó un papel clave en el desarrollo de métodos de análisis y herramientas de soporte para Redes de Petri de alto nivel. Sus áreas de investigación son en Ciencias Matemáticas y de la Computación, específicamente, desarrollo de sistemas basados en modelos, modelado y validación de sistemas distribuidos, herramientas de análisis y simulación, desarrollo de sistemas experimentales, entre otros. Sus publicaciones son en revistas de alto impacto, las cuales suman más de 80, entre artículos, capítulos de libro y libros.
El libro pertenece al área de Ciencias de la Computación y forma parte de un trabajo de tres volúmenes, donde el primero (sobre el cual de se presenta esta reseña) contiene la definición formal de CPN, su fundamento matemático y métodos de análisis. Asimismo, da al lector una descripción detallada de algunas aplicaciones industriales de las CPN. Explica las propiedades estáticas y dinámicas de las CPN a través de ejemplos. Además, presenta de forma precisa la definición de estructura jerarquía de CPN y explica cómo construir un modelo jerárquico. Por otro lado, da una introducción al uso práctico del software CPN Tools, que es una herramienta para construir, modificar, verificar sintaxis y simular CPN.
La Tesis de Kurt Jensen, se centra en que las CPN son una herramienta poderosa que permiten modelar cualquier tipo de sistemas, por extenso o complejo que éste sea, ya que éste puede representarse a través de módulos o jerarquías. Además, las CPN permiten identificar propiedades estáticas y dinámicas del modelo estudiado, así como la aplicación de diferentes métodos de análisis que pueden permitir optimizar el desempeño del sistema bajo estudio.
Jensen, K. (1997). Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, Springer-Verlang Berlin Heidelberg New York, Vol. 1, Second Edition.
[a] Profesor Investigador de la Universidad Autónoma del Estado de Hidalgo.