Model-based development of a course of action scheduling tool

International Journal on Software Tools for Technology Transfer

Volumn 10, Issue 1, 2008, Pages 5-14

  Kristensen, Lars M ^a   Mechlenborg, Peter ^a   Zhang, Lin ^b   Mitchell, Brice ^b   Gallasch, Guy E ^c  

^a AARHUS UNIVERSITY   (Denmark)

^b DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^c UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Application of Coloured Petri nets; Command and control; Methodologies; Scheduling; Statespace analysis; Tools

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL METHODS; GRAPHICAL USER INTERFACES; PETRI NETS; SEMANTICS; STATE SPACE METHODS;

COLOURED PETRI NETS; COURSE OF ACTION SCHEDULING TOOL (COAST); FORMAL SPECIFICATION; SEMANTICAL MODEL;

SCHEDULING;

EID: 37549002868     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0053-y     Document Type: Article

References (14)

1. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times - A tool for modelling and implementation of embedded systems. In: Proceedings of TACAS'02, LNCS, vol. 2280, pp. 460-464 (2002)
2. Edelkamp, S.: Promela planning. In: Proceedings of SPIN'03, LNCS, vol. 2648, pp. 197-212 (2003)
3. Gallasch, G., Kristensen, L.M.: Comms/CPN: A communication infrastructure for external communication with design/CPN. In: Proceedings of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 79-93. Department of Computer Science, University of Aarhus, 2001. DAIMI PB-554
4. Ghallab M., Nau D. and Traverso P. (2004). Automated Planning: Theory and Practice. Elsevier, Amsterdam
5. Jensen, K.: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, vol. 1-3. Springer, Heidelberg (1992-1997)
6. Kristensen L.M., Christensen S. and Jensen K. (1998). The practitioner's guide to Coloured Petri nets. Int. J. Softw. Tools Technol. Transf 2(2): 98-132
7. Kristensen, L.M., Jørgensen, J.B., Jensen, K.: Application of coloured petri nets in system development. In: Lectures on Concurrency and Petri Nets, LNCS, vol. 3098, pp. 626-686. Springer, Heidelberg (2004)
8. Kristensen, L.M., Mailund, T.: Efficient path finding with the sweep-line method using external storage. In: Proceedings of ICFEM'03, LNCS, vol. 2885, pp. 319-337 (2003)
9. Rasmussen, J.I., Larsen, K.G., Subramani, K.: Resource-optimal scheduling using priced timed automata. In: Proceedings of TACAS'04, LNCS, vol. 2988, pp. 220-235, Springer, Heidelberg (2004)
10. Schätz, B.: MoCel-based development: combining engineering approaches and formal techniques. In: Proceedings of ICFEM'04, LNCS, vol. 3308, pp. 1-2 (2004)
11. Ullman J.D. (1998). Elements of ML Programming. Prentice-Hall, Englewood cliffs
12. Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, LNCS, vol. 1491, pp. 429-528, Springer, Heidelberg (1998)
13. Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G., Billington, J.: A Coloured Petri net based tool for course of action development and analysis. In: Proceedings of Workshop on Formal Methods Applied to Defence Systems, CRPIT, vol. 12, pp. 125-134. Australian Computer Society (2001)
14. Zhang, L., Kristensen, L.M., Mitchell, B., Janczura, C., Gallasch, G., Mechlenborg, P.: COAST - An operational planning tool for course of action development and analysis. In: Proceedings of 9th International Command and Control Research and Technology Symposium (2004)