http://cpntools.org/ 2012-05-19T15:19:16+02:00 http://cpntools.org/ http://cpntools.org/lib/images/favicon.ico text/html 2012-04-26T14:55:52+02:00 Michael Westergaard http://cpntools.org/download/whatsnew?rev=1335444952&do=diff Here you can see what is new in various versions of CPN Tools and Access/CPN and which versions of Access/CPN works with which versions of CPN Tools. The list is not necessarily comprehensive, but lists the major changes. The list may also reflect features in versions of CPN Tools that have not yet been publicly released, and as such reflects changes that are currently in the source repository but have not yet been deemed important enough to make a general release. text/html 2012-04-02T15:52:14+02:00 Michael Westergaard http://cpntools.org/documentation/tasks/performance/random/rayleigh?rev=1333374734&do=diff Note: Introduced in CPN Tools 3.4.0. Interface rayleigh(s:real) : real where s >=0.0. Returns a drawing from a rayleigh distribution with parameter s. Raises Rayleigh exception, if a<= 0.0. Related pages Random distribution functions text/html 2012-04-02T15:50:48+02:00 Michael Westergaard http://cpntools.org/documentation/tasks/performance/random/start?rev=1333374648&do=diff Term definitions Random-variate generators Below is a brief summary of the random-number generators that are available. Click on a function name to see a more detailed explanation. bernoulli(p:real) : int raises Bernoulli exception, if p<0.0 or p>1.0. binomial(n:int, p:real) : int raises Binomial exception, if n<1 or p<0.0 or p>1.0. chisq(n:int) : real raises Chisq exception, if n<1. discrete (a:int, b:int) : int raises Discrete exception, if a>b. erlang (n:int, r:real) : real … text/html 2012-03-07T15:48:02+02:00 Michael Westergaard http://cpntools.org/documentation/tasks/verification/temporal_logic_for_state?rev=1331131682&do=diff These facilities make it possible to analyze state spaces by means of a CTL-like temporal logic. It is possible to formulate queries about states, but also queries about state changes (e.g., the occurrence of certain transitions). Strongly connected components are used to make the model checking more efficient. text/html 2012-02-06T12:17:20+02:00 Michael Westergaard http://cpntools.org/download?rev=1328527040&do=diff CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. We do not make source releases of CPN Tools, but we provide open access to the Subversion repositories hosting the source. Please first review the license for CPN Tools, the CPN simulator and Access/CPN. text/html 2012-02-02T14:24:18+02:00 Michael Westergaard http://cpntools.org/start?rev=1328189058&do=diff