Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2003: Applications and Theory of Petri Nets 2003 pp 1–2Cite as

Coloured Petri Nets: Status and Outlook

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

Abstract

This talk presents my personal view of the current status of high-level Petri Nets, in particular Coloured Petri Nets. What have we achieved over the last 25 years and what are the main challenges that need to be addressed in order to make high-level Petri nets more useful, e.g., to the software industry? What kind of language extensions and tool support do we need to make Petri net modelling, simulation and analysis accessible to the knowledgeable engineer? I will also briefly discuss the main areas which I believe are the most obvious candidates for further theoretical development.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Home-page of CPN Group, University of Aarhus: www.daimi.au.dk/CPnets/.

    Google Scholar 

  2. L.M. Kristensen, S. Christensen and K. Jensen: The Practitioner’s Guide to Coloured Petri Nets. In K. Jensen (ed.): Special Section on Coloured Petri Nets. Int. Journal on Software Tools for Technology Transfer, 2/2 (1998), Springer Verlag, 98–132. Also available from: www.daimi.au.dk/~kjensen/.

    Google Scholar 

  3. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992. ISBN: 3-540-60943-1.

    Google Scholar 

  4. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer-Verlag, 1994. ISBN: 3-540-58276-2.

    Google Scholar 

  5. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 3, Practical Use. Monographs in Theoretical Computer Science, Springer-Verlag, 1997. ISBN: 3-540-62867-3.

    Google Scholar 

  6. K. Jensen: A Brief Introduction to Coloured Petri Nets. In: E. Brinksma (ed.): Tools and Algorithms for the Construction and Analysis of Systems. Proceeding of the TACAS’97 Workshop, Enschede, The Netherlands 1997, Lecture Notes in Computer Science Vol. 1217, Springer-Verlag 1997, 201–208. Also available from: www.daimi.au.dk/~kjensen/.

    Chapter  Google Scholar 

  7. K. Jensen: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, Springer-Verlag 1994, 230–272. Also available from: www.daimi.au.dk/~kjensen/.

    Google Scholar 

  8. K. Jensen: An Introduction to the Practical Use of Coloured Petri Nets. In: W. Reisig and G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science Vol. 1492, Springer-Verlag 1998, 237–292. Also available from: ww.daimi.au.dk/~kjensen/.

    Google Scholar 

  9. K. Jensen (ed.): Special Section on Coloured Petri Nets. Int. Journal on Software Tools for Technology Transfer, 2/2 (1998), Springer Verlag, 95–191.

    Google Scholar 

  10. K. Jensen (ed.): Special Section on Practical Use of High-level Petri Nets. Int. Journal on Software Tools for Technology Transfer,3/4 (2001), Springer Verlag, 369–430.

    Google Scholar 

  11. K. Jensen: Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design 9 (1996), Kluwer Academic Publishers, 7–40.

    Article  Google Scholar 

  12. S. Christensen, K. Jensen, and T. Mailund: State Space Methods for Timed Petri Nets. In: H. Weber, H. Ehrig and W. Reisig: Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, September 14–15, 2001, 33–42.

    Google Scholar 

  13. K. Jensen (ed.): Workshop on Practical Use of Coloured Petri Nets and Design/CPN. Proceedings, Department of Computer Science, University of Aarhus, Denmark, PB-532, 1998. Also available from: www.daimi.au.dk/CPnets/.

    Google Scholar 

  14. K. Jensen (ed.): Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. Proceedings, Department of Computer Science, University of Aarhus, Denmark, PB-541, 1999. Also available from: www.daimi.au.dk/CPnets/.

    Google Scholar 

  15. K. Jensen (ed.): Practical Use of High-level Petri Net. Proceedings, Department of Computer Science, University of Aarhus, Denmark, PB-547, 2000. Also availble from: www.daimi.au.dk/CPnets.

    Google Scholar 

  16. K. Jensen (ed.): Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Proceedings, Department of Computer Science, University of Aarhus, Denmark, PB-554, 2001. Also available from: www.daimi.au.dk/CPnets/.

    Google Scholar 

  17. K. Jensen (ed.): Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Proceedings, Department of Computer Science, University of Aarhus, Denmark, PB-560, 2002. Also available from: www.daimi.au.dk/CPnets/.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CPN Group, Department of Computer Science, University of Aarhus, Denmark

    Kurt Jensen

Authors
  1. Kurt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K. (2003). Coloured Petri Nets: Status and Outlook. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation