Fixed Bugs

• [001115b0082] Enter OGA fails with timed models
• [001213b0083] DSFile_LoadPage ignores arguments
• [001213b0084] Tools craches on XML save failure
• [010125b0085] Enter Occ Graph fails when 'no' is a colour
• [010227b0086] Template code for data collectors on port places
• General bugfixes/enhancements in the NewSim module.

New/updated Features

• PAM support on Linux
  Support for PAM (Pluggable Authentication Modules) has been added to the cpnmld daemon on the Linux platform.
• Save/load XML
  The format of the XML output has changed slightly to fix some inconveniences and to provide compatibility with CPN/Tools. A DTD for the output is now provided in the package.

Fixed Bugs

• [001011b0081] The simulator doesn't run on recent Linux distributions
• [001909b0080] Generated EPS is invalid
• [000827b0079] The NewSim module doesn't support IntInf
• [000817b0078] Closing page using shortcut in text mode
• General bugfixes/enhancements in the NewSim module.

New Features

• Simulation without a daemon
  The tool now supports simulation without running the daemon when the simulator runs on the same machine as the user interface.
• Save/load XML
  The Text Interchange format used in earlier versions has been replaced by a XML-based format.
  
  For compatability with earlier versions of Design/CPN, a tool for converting XML to Interchange is provided in the package.

Fixed Bugs

• [000609b0076] When moving from Linux to Solaris, crash when entering simulator
• [000609b0075] Loading Solaris diagram on Linux crashed the tool
• [000505b0076] The 'with' clause doesn't work in string color sets
• [000411b0073] Update charts by time doesn't work

New Features

• Delete of Occurrence Graph
  In the the Design/CPN Occurrence Graph Tool it is now possible to delete a generated occurence graph without having to make a reswitch to the Occurrence Graph Tool. This feature is supported by means of the ML function

  	  DeleteOccGraph : unit -> unit
  	

  The ML function DeleteOccGraph can also be used in the Design/CPN OE/OS tool to delete an OE/OS Graph.
  
  
• Improved Implementation of the State Space/Occurrence Graph Generation Algorithm
  The algorithm for state space generation has been reimplemented resulting in a significantly more time-efficient state space generation. The data-structures for storage of state spaces is not affected by the reimplementation. This means that memory consumption has not increased. Moreover, both depth-first and breadth-first generation of the state space is now supported.
  
  Some experiments demonstrating the performance improvement of the new implementation on the Data Base system can be found below.
  • Data Base system for 8 database managers
  • Data Base system for 9 database managers
  
  Depth-first generation of the state space is supported by the ML function
  

  	  CalculateOccGraphDepthFirst : unit -> unit
  	

  Breadth-first generation is supported by the ML function
  

  	  CalculateOccGraphBreadthFirst unit -> unit
  	

  The menu entry "Calculate Occ Graph" corresponds to a breadth-first generation. The improved algorithm is also available in the OE/OS Graph Tool as

  	  CalculateOEGraphDepthFirst : unit -> unit
  	

  and

  	  CalculateOEGraphBreadthFirst : unit -> unit
  	

  
  You can get access to the improved implementation of the algorithm by adding the ML code: 'NewOGGeneration:= true;' to the top of the global declaration node of your CPN model. Currently the improved implementation is only available for untimed CPN models.

Fixed Bugs

• [000330b0072] UpperMultiSet/LowerMultiset doesn't work
• [000316b0070] ASK-CTL library doesn't load
• [000316b0069] Cut/Paste of AUX-elements crashes tool
• [991223b0068] Creating a new chart sometimes overwrites old charts
• [991223b0067] The tool doesn't start on Solaris 2.6
• [991223b0066] Performance tool crashes on substitution transition
• [991223b0065] No reports from interactive simulations

Fixed Bugs

• [991025b0064] Compile exceptions during syntax check
• [991025b0063] Bindings in guards not correct
• [991025b0062] Output tokens not placed correct on double arcs
• [991025b0061] Some interchange files crashes the tool
• [991019b0060] Interchange format version numbers are incorrect
• [991007b0059] Change marking on empty place crashes the tool
• [991007b0057] Curvature on arcs not set

New Features

1. Support for character literals using the usual SML'97 syntax, i.e. #"a".
2. IntInf to/from Real conversion functions:

   	val RealToIntInf : int -> real -> IntInf.int
   	val IntInfToReal : int -> IntInf.int -> real
   
   	RealToIntInf p r
   	  Converts the real r to a IntInf.int with a precission of p
   	  digits.
   
   	IntInfToReal p i
   	  Converts the IntInf.int i to a Real with a precission of p
   	  digits.
   	
   	Typically one would use along the line of
   
   	  val RealToTime = RealToIntInf 6;
   	  val TimeToReal = IntInfToReal 6;
   
   	and then use the these functions to convert between Real's and
     	time.
   	

Supported Platforms

• Sun Solaris
• Linux PC
• Hewlett-Packard UX
• SGI Irix

New Features

1. SML'97.

   The language used for declarations and net inscriptions is now based on the SML'97 standard. This has required some changes to the Design/CPN tool:

   • The REAL type can no longer be used for time values. Time values now have the type IntInf.
   • Multiset addition is ++
   • Timed mutiset addition is +++
   
   For general SML changes, a SML'97 Conversion Guide is available.

2. Performance Tool

   The Performance Tool provides facilities for collecting and outputting data during a simulation. The data collection facilities are both general and easy to use. When using this performance tool, it is possible to extract data from complex token values and binding elements in a CP-net. Furthermore, data can be extracted from an entire CP-net which means that global performance measures can be defined. The data that is collected and output during a simulation (simulation output) can be saved in a log file, or it can be used to calculate statistics which can also be saved in a file.

   Online documentation

Enhancements

1. The A0, A1, and A2 paper formats are now supported.
2. The SGI Irix platform is now supported.