Kurt Jensen

2019

Carl Adam Petri: a tribute from Aarhus

Jensen, K. & Nielsen, M., 2019, Carl Adam Petri: ideas, personality, impact. Reisig, W. & Rozenberg, G. (red.). Cham: Springer, s. 81-84

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling

2015

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

Jensen, K. & Kristensen, L. M., 2015, I: Communications of the A C M. 58, 6, s. 61-70 10 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

2013

Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC

Jensen, K. (Redaktør), Aalst, W. M. V. D. (Redaktør), Balbo, G. (Redaktør), Koutny, M. (Redaktør) & Wolf, K. (Redaktør), 10 maj 2013, Springer VS. 423 s. (Lecture Notes in Computer Science, Bind 7480).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2012

The sweep-line state space exploration method

Jensen, K., Kristensen, L. M. & Mailund, T., 2012, I: Theoretical Computer Science. 429, s. 169–179 11 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC

Jensen, K. (Redaktør), Donatelli, S. (Redaktør) & Kleijn , J. (Redaktør), 2012, Springer. 293 s. (Lecture Notes in Computer Science, Bind 6900).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC

Jensen, K. (Redaktør), Aalst, W. M. V. D. (Redaktør), Marsan, M. A. (Redaktør), Franceschinis, G. (Redaktør), Kleijn , J. (Redaktør) & Kristensen, L. M. (Redaktør), 2012, Springer. 365 s. (Lecture Notes in Computer Science, Bind 7400).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2010

Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC

Jensen, K. (Redaktør), Donatelli, S. (Redaktør) & Koutny, M. (Redaktør), 2010, Springer. 224 s. (Lecture Notes in Computer Science, Bind 6550).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2009

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Jensen, K. & Kristensen, L. M., 2009, Springer. 384 s.

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009

Jensen, K. (Redaktør), 2009, Department of Computer Science, Aarhus University, 250 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

319 Downloads (Pure)

Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems

Jensen, K. (Redaktør) & Wil M.P. van der, A. (Redaktør), 2009, Springer. 295 s. (Lecture Notes in Computer Science, Bind 5460).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC

Jensen, K. (Redaktør), Billington, J. (Redaktør) & Koutny, M. (Redaktør), 2009, Springer. 255 s. (Lecture Notes in Computer Science, Bind 5800).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2008

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 20-22, 2008

Jensen, K. (Redaktør), 2008, Department of Computer Science, Aarhus University, 201 s. (DAIMI PB; Nr. 588).

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

698 Downloads (Pure)

Special Section on Coloured Petri Nets

Jensen, K. (Redaktør), 2008, I: International Journal on Software Tools for Technology Transfer. 10, 1, s. 1-110 110 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Kristensen, L. M. & Jensen, K., 2008, I: LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC). I, s. 19-34 15 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Transactions on Petri Nets and Other Models of concurrency I: ToPNoC

Jensen, K. (Redaktør), Aalst, W. M. P. V. D. (Redaktør) & Billington, J. (Redaktør), 2008, Springer. 249 s. (Lecture Notes in Computer Science, Bind 5100).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2007

Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems

Jensen, K., Kristensen, L. M. & Wells, L. M., 2007, I: International Journal on Software Tools for Technology Transfer. 9, 3/4, s. 213-254 41 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 22-24, 2007

Jensen, K. (Redaktør), 2007, Department of Computer Science, Aarhus University, 262 s. (DAIMI PB; Nr. 584).

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

664 Downloads (Pure)

Special Section on Coloured Petri Nets

Jensen, K., 2007, I: International Journal on Software Tools for Technology Transfer. 9, 3-4, s. 209-411 202 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets

Kristensen, L. M. & Jensen, K., 2007, Proceedings 2nd workshop on Teaching Concurrency. University of Podlasie, Institute of Computer Science, s. 67-77 10 s.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

2006

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2006

Jensen, K. (Redaktør), 2006, Department of Computer Science, Aarhus University, 300 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

121 Downloads (Pure)

Special Section on "Tools and Algorithms for the Construction and Analysis of Systems"

Jensen, K. (Redaktør) & Podelski, A. (Redaktør), 2006, I: International Journal on Software Tools for Technology Transfer. 8, 3, s. 177-299 123 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

2005

Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2005

Jensen, K. (Redaktør), 2005, Department of Computer Science, Aarhus University, 300 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

2613 Downloads (Pure)

Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004

Jensen, K. (Redaktør) & Podelski, A. (Redaktør), 2005, I: Theoretical Computer Science. 345, 1, s. 1-170 170 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

2004

Application of Coloured Petri Nets in System Development

Kristensen, L. M., Jørgensen, J. B. & Jensen, K., 2004, Lectures on Concurrency and Petri Nets. Desel, J., Reisig, W. & Rozenberg, G. (red.). Springer, s. 626-685 60 s. (Lecture Notes in Computer Science, Bind 3098).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004

Jensen, K. (Redaktør), 2004, Department of Computer Science, Aarhus University, 234 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

2045 Downloads (Pure)

Formal Specification and State Space Analysis of an Operational Planning Process

Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (Redaktør), 2004, Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. PB-570 of Daimi Reports udg. Department of Computer Science, University of Aarhus, s. 1-18 19 s.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

Kristensen, L. M. & Jensen, K., 2004, Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report. Ehrig, H., Damm, W., Desel, J., Grosse-Rhode, M., Reif, W., Schneider, E. & Westkämper, E. (red.). Springer, Bind 3147. s. 248-269 20 s. (Lecture Notes in Computer Science, Bind 3147).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til rapport › Forskning

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Jensen, K. (Redaktør) & Podelski, A. (Redaktør), 2004, Berlin: Springer. 608 s. (Lecture Notes in Computer Science, Bind 2988).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

2003

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (Redaktør) & Best, E. (Redaktør), 2003, Applications and Theory of Petri Nets 2003. Aalst, W. V. D. & Best, E. (red.). Springer, Bind 2679. s. 450-462 13 s. (Lecture Notes in Computer Science, Bind 2679).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

2002

Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare

Jørgensen, J. B. & Jensen, K. (Redaktør), 2002, Ikke angivet. DAIMI PB-560 udg. Department of Computer Science, University of Aarhus, s. 61-80 20 s.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002

Jensen, K. (Redaktør), 2002, Department of Computer Science, Aarhus University, 158 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

901 Downloads (Pure)

2001

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

Andersen, P., Beaudouin-Lafon, M., Mackay, W. E., Janecek, P., Lassen, M., Jensen, M., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K., Colom, J. M. (Redaktør) & Koutny, M. (Redaktør), 2001, Applications and Theory of Petri Nets 2001. Goos, G., Hartmanis, J. & van Leeuwen, J. (red.). Springer, Bind 2075. s. 71-80 10 s. (Lecture Notes in Computer Science, Bind 2075).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS

Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K., Lassen, H. M., Jacecek, P., Andersen, P., Jensen, M., Mackay, W. E. & Beaudouin-Lafon, M., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Margaria, T. & Yi, W. (red.). Springer, s. 574-577 4 s. (Lecture Notes in Computer Science, Bind 2031).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Special Section on Practical Use of High-level Petri Nets

Jensen, K. (Redaktør), 2001, I: International Journal on Software Tools for Technology Transfer. 3, 4, s. 369-430 61 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

State space methods for coloured Petri nets

Christensen, S., Jensen, K., Mailund & Kristensen, L. M., 2001, Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems. s. 14-15 2 s.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

State Space Methods for Timed Petri Nets

Christensen, S., Jensen, K., Mailund, T., Weber, H. (Redaktør), Ehrig, H. (Redaktør) & Reisig, W. (Redaktør), 2001, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology". DFG-Forschergruppe Petri Net Technologie, s. 33-42 10 s.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001

Jensen, K. (Redaktør), 2001, Department of Computer Science, Aarhus University, 137 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

788 Downloads (Pure)

2000

Practical Use of High-level Petri Net. Workshop Proceedings

Jensen, K. (Redaktør), 2000, Department of Computer Science, Aarhus University, 152 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

529 Downloads (Pure)

1999

Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 13-15 October 1999

Jensen, K. (Redaktør), 1999, Department of Computer Science, Aarhus University, 210 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

1198 Downloads (Pure)

1998

An Introduction to the Practical Use of Coloured Petri Nets

Jensen, K., 1998, Lecture on Petri Nets II: Applications. Reisig, W. & Rozenberg, G. (red.). Springer, s. 237-292 55 s. (Lecture Notes in Computer Science, Bind 1492).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Special Section on Coloured Petri Nets

Jensen, K. (Redaktør), 1998, I: International Journal on Software Tools for Technology Transfer. 2, 2, s. 95-191 96 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder

The Practitioner's guide to Coloured Petri Nets

Kristensen, L. M., Christensen, S. & Jensen, K., 1998, I: International Journal on Software Tools for Technology Transfer. 2, 2, s. 98-132 35 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998

Jensen, K. (Redaktør), 1998, Department of Computer Science, Aarhus University, 282 s.

Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang

Fil

2919 Downloads (Pure)

1997

A Brief Introduction to Coloured Petri Nets

Jensen, K., 1997, Tools and Algorithms for the Construction and Analysis of Systems. Brinksma, E. (red.). Springer, Bind 1217. s. 203-208 6 s. (Lecture Notes in Computer Science, Bind 1217).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use

Jensen, K., 1997, Springer. 265 s. (Monographs in theoretical computer science: an EATCS series).

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts

Jensen, K., 1997, 2. ed., 2. corr. printing udg. Springer. 234 s. (Monographs in theoretical computer science: an EATCS series).

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

1996

Condensed State Spaces for Symmetrical Coloured Petri Nets

Jensen, K. & Emerson, E. A. (Redaktør), 1996, I: Formal Methods in System Design. 9, 1/2, s. 7-40 33 s.

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

1995

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods

Jensen, K., 1995, Springer. 172 s. (Monographs in theoretical computer science: an EATCS series).

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

1994

An Introduction to the Theoretical Aspects of Coloured Petri nets

Jensen, K., 1994, A Decade of Concurrency Reflections and Perspectives. Bakker, J. W. D., Roever, W.-P. D. & Rozenberg, G. (red.). Springer, Bind 803. s. 230-272 42 s. (Lecture Notes in Computer Science, Bind 803).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

1992

Application and Theory of Petri Nets

Jensen, K. (Redaktør), 1992, Springer. 398 s. (Lecture Notes in Computer Science, Bind 616).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Kurt Jensen

Publikation

Søgeresultater