 |
Postings to Design/CPN Mailing List
| The mailing list has been discontinued
|
|
- [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?
- [960717] Plotting place usage?
- [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?
|