Kurt Jensen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The sweep-line state space exploration method Theoretical Computer Science	2012-05-30	Paper
Coloured Petri Nets	2009-03-20	Paper
Lectures on Concurrency and Petri Nets Lecture Notes in Computer Science	2005-12-23	Paper
Special section on coloured Petri nets International Journal on Software Tools for Technology Transfer. STTT	2003-10-20	Paper
The practitioner's guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer. STTT	2003-07-15	Paper
scientific article; zbMATH DE number 1049168 (Why is no real title available?)	1997-08-17	Paper
scientific article; zbMATH DE number 877807 (Why is no real title available?)	1996-05-12	Paper
scientific article; zbMATH DE number 750184 (Why is no real title available?)	1995-05-02	Paper
scientific article; zbMATH DE number 107927 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 4028914 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4041283 (Why is no real title available?)	1987-01-01	Paper
Reachability trees for high-level Petri nets Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3919829 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3825181 (Why is no real title available?)	1983-01-01	Paper
Coloured Petri nets and the invariant-method Theoretical Computer Science	1981-01-01	Paper
scientific article; zbMATH DE number 3742638 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3711388 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3621123 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Kurt Jensen