Kurt Jensen

Available identifiers

zbMath Open jensen.kurtMaRDI QIDQ418780

List of research outcomes

Publication	Date of Publication	Type
The sweep-line state space exploration method	2012-05-30	Paper
Coloured Petri Nets	2009-03-20	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Special section on coloured Petri nets	2003-10-20	Paper
The practitioner's guide to coloured Petri nets.	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4348471	1997-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4877483	1996-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4764197	1995-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4023496	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3769974	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779756	1987-01-01	Paper
Reachability trees for high-level Petri nets	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3694702	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670574	1983-01-01	Paper
Coloured Petri nets and the invariant-method	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3928257	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902494	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184325	1979-01-01	Paper

Research outcomes over time

This page was built for person: Kurt Jensen