Navigation
MAINLY FOR
Kurt Jensen
Department of Computer Science
Åbogade 34
building 5346, room 237
8200, Aarhus N
Denmark
Direct phone: 87156129
Mobile phone: 29905612
Research areas
- IT, Computer Science and Mathematics > Software Systems > Model-driven systems development
- IT, Computer Science and Mathematics > Software Systems > Modelling and validation of distributed systems Coloured Petri Nets
- IT, Computer Science and Mathematics > Software Systems > Simulation and analysis tools
- IT, Computer Science and Mathematics > Software Systems > Experimental systems development
- IT, Computer Science and Mathematics > Theoretical Computer Science > Capacity planning
- IT, Computer Science and Mathematics > Theoretical Computer Science > Programming languages and formal models
- IT, Computer Science and Mathematics > Software Systems > Software specification and verification
Head of Department of Computer Science
How to find My Office (press car-icon in upper left corner to get driving instructions)
Head of CPN Group
Petri Net papers
Citations
- Published
The sweep-line state space exploration method
Publication: Research - peer-review › Journal article
- Published
Transactions on Petri Nets and Other Models of Concurrency IV : ToPNoC
Publication: Research › Anthology
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 19-21, 2009
Publication: Research › Working paper
33 rd International Conference on Applications and Theory of Petri Nets and Concurrency
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Orgniaser and PC-chair for Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Latest activities and conferences
ID: 10624
Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark
CVR no: 31119103
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245
©
Comments to
web editor