From: Kurt Jensen To: designCPN@daimi.daimi.au.dk Date: Mon, 16 Feb 1999 17:16:53 +0100 Subject: Course on Coloured Petri Nets and their tools Dear Colleague, The week after the Petri Net conference in Williamsburg, a 4-day course on: Modeling and Analysis by means of Colored Petri Nets will be organised at the George Mason University, Fairfax, Virginia, USA, which is situated approximately 200 miles from Williamsburg (15 miles West of Washington DC). The course starts June 29 and ends July 2, 1999. The course offers an introduction to Colored Petri Nets and their tools. It shows how CP-nets can be used to model, validate and verify different types of distributed and concurrent systems. The course is aimed at practitioners in the fields of Software Engineering, Capacity planning, Performance Analysis, Operational Research, Networks and Protocols, Distributed Systems, Embedded Systems and Formal Methods. The course is also appropriate for engineers and analysts developing executable models of system architectures including C4ISR architectures. While it is not necessary to have any prior knowledge of Petri Nets, some basic knowledge of programming and of discrete event dynamical systems is useful. The course is organised by the the School of Information Technology and Engineering at George Mason University, in cooperation with the CPN group at the University of Aarhus, Denmark. For more details about the course, please see the Web pages: http://viking.gmu.edu/http/CPNcourse/CPNcourseindex.html Yours Sincerely, Kurt Jensen ------------------------------------------------------------------------- Kurt Jensen Direct Phone: +45 8942 3234 Department of Computer Science Secretary: +45 8942 3188 University of Aarhus Telefax: +45 8942 3255 Ny Munkegade, Bldg. 540 Home Phone: +45 8611 4216 DK-8000 Aarhus C E-mail: kjensen@daimi.au.dk Denmark URL: http://www.daimi.au.dk/~kjensen ------------------------------------------------------------------------- --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]