Skip to main content
SpringerLink
Log in

Special section on coloured Petri nets

  • 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

  1. Alur R. and Dill D. (1994). A theory of timed automata. Theoretical Comput. Sci. 126(2): 183–235

    Article  MATH  MathSciNet  Google Scholar 

  2. The Edinburgh Concurrency Workbench homepage. http://www.dcs.ed.ac.uk/home/cwb/index.html

  3. Jensen K. (ed.) (1998). Special section on coloured petri nets. Int. J. Softw. Tools Technol. Transf. 2(2): 95–191

    Article  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  5. Formal Systems - FDR2. http://www.formal.demon.co.uk/FDR2.html

  6. Harel D. (1987). Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8: 231–274

    Article  MATH  MathSciNet  Google Scholar 

  7. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)

  8. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley (2003)

  9. Jensen K. (1992). Coloured Petri Nets.Basic Concepts. Analysis Methods and Practical Use, vol. 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer, Heidelberg

    Google Scholar 

  10. Jensen K. (1994). Coloured Petri Nets. Basic Concepts. Analysis Methods and Practical Use, vol. 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer, Heidelberg

    Google Scholar 

  11. Jensen K. (1997). Coloured Petri Nets. Basic Concepts. Analysis Methods and Practical Use vol. 3, Practical use. Monographs in Theoretical Computer Science. Springer, Heidelberg

    Google Scholar 

  12. Milner, R.: Communication and Concurrency. Prentice-Hall International Series in Computer Science. Prentice-Hall (1989)

  13. Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). The MIT Press (1997)

  14. Larsen K.G., Petterson P. and Yi W. (1997). UppAal in a nutshell. Int. J. Softw. Tools Technol. Trans. 1(1+2): 134–152

    Article  MATH  Google Scholar 

  15. Rational Rose Tool homepage. http://www-306.ibm.com/software/rational/

  16. Reisig W. (1985). Petri Nets—An Introduction, vol. 4 of EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg

    Google Scholar 

  17. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley (1999)

  18. The SPIN Tool homepage. http://spinroot.com/

  19. Ullman, J.D.: Elements of ML Programming. Prentice-Hall (1998)

  20. The VisualState homepage. http://www.iar.com

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. Int J Softw Tools Technol Transfer 9, 209–212 (2007). https://doi.org/10.1007/s10009-007-0039-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-007-0039-9

Keywords

Search

Navigation