Skip to main content
SpringerLink
Log in

Special section on Coloured Petri Nets—preface by the section editor: Kurt Jensen

  • Preface
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • CPN Tools. www.daimi.au.dk/CPNTools

  • Jensen K. (ed.) (1998). Special section on Coloured Petri Nets. Int. J. Software Tools Technol. Transfer 2(2): 95–191

    Article  MATH  Google Scholar 

  • Jensen K. (ed.) (2001). Special section on practical use of high-level petri nets. Int. J. Software Tools Technol. Transfer 3(4): 369–430

    Article  MATH  Google Scholar 

  • Jensen K. (ed.) (2007). Special section on Coloured Petri Nets. Int. J. Software Tools Technol. Transfer 9(3–4): 209–352

    Article  Google Scholar 

  • Examples of Industrial Use of CP-nets. www.daimi.au.dk/CPnets/intro/example_indu.html

  • Jensen K., Kristensen L.M. and Wells L. (2007). Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Software Tools Technol. Transfer 9(3–4): 213–254

    Article  Google Scholar 

  • Milner R., Tofte M., Harper R. and MacQueen D. (1997). The Definition of Standard ML (Revised). MIT, Cambridge

    Google Scholar 

  • Reisig W. (1985). Petri Nets—An Introduction, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin

    Google Scholar 

  • Ullman J.D. (1998). Elements of ML Programming. Prentice Hall, Englewood Cliffs

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Kurt Jensen

Authors
  1. Kurt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kurt Jensen.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jensen, K. Special section on Coloured Petri Nets—preface by the section editor: Kurt Jensen. Int J Softw Tools Technol Transf 10, 1–3 (2008). https://doi.org/10.1007/s10009-007-0056-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-007-0056-8

Keywords

Search

Navigation