Postings to Design/CPN Mailing List

• [060117] Design/CPN mailing list discontinued
• [040113] IMPORTANT: Patch to the January 2004 Problem in the Design/CPN state space tool
• [031105] CPN Tools is replacing Design/CPN
• [030814] Question concerning the use of a real (in a union colorset)
  • [030818] Reply by Lisa Wells
• [030725] Question regarding the use of SML datatypes
  • [030725] Reply by Kjeld H. Mortensen
• [030723] Accessing values in lists of tuples
  • [030723] Reply by Kjeld H. Mortensen
• [030711] Parsing CPN ML to generate Java classes
  • [030701] Reply by Christopher Donaldson
• [030701] A question on guard
  • [030701] Reply by Kjeld H. Mortensen
• [030310] Defining a step of simultaneously occuring transitions
• [030121] Strange problem on "new" machine
  • [030121] Reply by Bill Harris
  • [030121] Reply by Bill Harris
  • [030121] Reply by Livia Maria Rodrigues Sampaio
• [021104] A question about timing
  • [021104] Reply by Søren Christensen
• [021007] TACAS tool demonstrations (deadline Oct. 18)
• [020902] CPN unfolding
• [020819] Mac OS X?
  • [020821] Reply by Søren Christensen
• [011126] Two Workshops in Aarhus, Denmark, August 2002
• [011008] The next generation of tool support for Coloured Petri Nets
• [010921] Temporal relationship with CPN
• [010710] Detailed Programme: Two Workshops in Aarhus, August 2001
• [010418] Two Workshops in Aarhus, Denmark, August 2001
• [010418] Place invariants
• [010409] New release of Design/CPN
• [010402] [CfP] Post-CAV'01 workshops
• [010402] [CfP] Logical Aspects of Cryptographic Protocol Verification
• [010301] Two Workshops in Aarhus, Denmark, August 2001
• [010130] [CfP] CAV'01: call for workshops
• [010109] [CfP] Static Analysis Symposium 2001, Paris
• [001227] CAV'01: call for Workshops
• [001227] [CfP] CAV'01 DEADLINE is approaching - January, 15th, 2001 !!!
• [001025] New release of Design/CPN
• [000929] Two joint Workshops at University of Aarhus, Denmark
• [000929] CFP: Workshop on Computer-Aided Verification (CAV'01)
• [000815] Post-doc position at LSV, ENS de Cachan, France
• [000712] Java and Design/CPN
• [000706] New release of Design/CPN
• [000502] Much faster simulations in Design/CPN
• [000404] New release of Design/CPN
• [000120] Text Interface to DesignCPN
• [991105] New release of Design/CPN
• [990929] New release of Design/CPN
• [990902] Detailed Programme for Coloured Petri Nets'99
• [990713] 2nd CPN workshop and tutorial
• [990617] Two lectures by Carl Adam Petri
• [990507] CFP: Coloured Petri Nets 1999
• [990503] Course on Coloured Petri Nets and their tools
• [990216] Course on Coloured Petri Nets and their tools
• [981027] Design/CPN no longer supported on Macintosh
• [981027] New release of Design/CPN
• [980904] CPN'99 -- Second CPN Workshop and Tutorial
• [980529] Design/CPN user survey summary now available online
• [980428] Reminder: Design/CPN user survey 1998 (deadline April 30)
• [980408] Design/CPN user survey 1998
• [980407] Internship Application
• [980407] Programme for CPN workshop, Aarhus Denmark, June 8-12, 1998
• [980226] Submissions for the CPN workshop
• [980211] Workshop and Tutorial on Practical use of CP-nets and Design/CPN
• [971219] NEW DATE for CPN workshop and tutorial
• [971010] Workshop and Tutorial on CP-nets and Design/CPN
• [970926] Probability Distributions
  • [970926] Reply by Kjeld H. Mortensen
• [970918] Timed elements of a list for FIFO buffer
• [970904] Modelling of Interconnection Networks
• [970217] Faster ML for PPC Mac
• [970107] New version of Design/CPN for Macintosh
• [961212] Design/CPN OE/OS Tool v1.0.1 released
• [961212] Minor problem in Design/CPN v3.0.4 startup script
• [961211] Design/CPN 3.0.4 is now available
• [961206] Creating a CPN hierarchy with internal functions
• [961121] Communication with external processes
  • [961128] Reply by Claus Reinke
• [961119] Asynchronous i/o, initial state, port assignments
  • [961120] Reply by Søren Christensen
  • [961120] Reply by Markus Montigel
  • [961121] Reply by Charles Lakos
• [961112] Design/CPN problem for PowerPC Based Maciontosh
• [960902] Minor release of Design/CPN 3.0.3 Macintosh
• [960826] Design/CPN now also available for MACs and Intel PCs
• [960719] Result of the summer :-)
• [960718] Possibility to communicate with a running Unix-process?
  • [960720] Reply by Søren Christensen and Kjeld H. Mortensen
  • Attachment: Example model
  • [960722] Reply by Søren Christensen
  • Attachment: New global declaration
• [960717] Plotting place usage?
  • [960717] Reply by Søren Christensen
  • Attachment: Example model
• [960617] Arbitrary ML datatypes as colour sets?
  • [960620] Reply by Søren Christensen
• [960509] Design/CPN 3.0.1 released
• [960507] New Version of the Occurrence Graph Manual
• [960507] Design/CPN 3.0 now available for Sun Sparc with Solaris
• [960416] Design/CPN 3.0 licenses now available
• [960311] What is your favorite Design/CPN bug?