Special section on coloured Petri nets

International Journal on Software Tools for Technology Transfer

Volumn 9, Issue 3-4, 2007, Pages 209-212

  Jensen, Kurt ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34249896972     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0039-9     Document Type: Editorial

References (20)

1. Alur R. and Dill D. (1994). A theory of timed automata. Theoretical Comput. Sci. 126(2): 183-235
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
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
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
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
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
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
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
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
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