6 search results - page 2 / 2 » CPN Tools: A Post-WIMP Interface for Editing and Simulating ... |
STTT
2008
13 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...