Research output per year
Research output per year
Personal profile
Keywords
- Model-driven systems development
- Modelling and validation of distributed systems
- Coloured Petri Nets
- Simulation and analysis tools
- Experimental systems development
- Capacity planning
- Programming languages and formal models
- Software specification and verification
Fingerprint
Dive into the research topics where Kurt Jensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Jensen, K. & Kristensen, L. M., 2009, Springer. 384 p.Research output: Book/anthology/report › Book › Research
1243 Citations (Scopus) -
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts
Jensen, K., 1992, Springer. 234 p. (Monographs in theoretical computer science: an EATCS series).Research output: Book/anthology/report › Book › Research
-
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods
Jensen, K., 1995, Springer. 172 p. (Monographs in theoretical computer science: an EATCS series).Research output: Book/anthology/report › Book › Research
-
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use
Jensen, K., 1997, Springer. 265 p. (Monographs in theoretical computer science: an EATCS series).Research output: Book/anthology/report › Book › Research
-
Coloured Petri Nets and the Invariant Method
Jensen, K., 1981, In: Theoretical Computer Science. 14, 3, p. 317-336 19 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
380 Citations (Scopus)
Activities
-
Styrekomite for det Internationale Petri Net Samfund
Jensen, K. (Member)
1 Jul 1985 → …Activity: Presentations, memberships, employment, ownership and other activities › Member of committee, council or board
-
Transactions on Petri Nets and Other Modles of Concurrency (Journal)
Jensen, K. (Editor)
1 Dec 2006 → …Activity: Publication peer-review and editorial work types › Editor of Research journal › Communication
-
International Journal on Software Tools for Technology Transfer (Journal)
Jensen, K. (Editor)
1 Jan 1997 → 31 Dec 1997Activity: Publication peer-review and editorial work types › Editor of Research journal › Communication
-
33 rd International Conference on Applications and Theory of Petri Nets and Concurrency
Jensen, K. (Participant)
20 Jun 2011 → 24 Jun 2011Activity: Participating in or organising an event types › Participation in or organisation af a conference
-
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Jensen, K. (Participant)
21 Jun 2010 → 25 Jun 2010Activity: Participating in or organising an event types › Participation in or organisation af a conference