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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kurt Jensen