http://cpntools.org/ 2013-05-24T16:16:12+02:00 http://cpntools.org/ http://cpntools.org/lib/images/favicon.ico text/html 2013-04-25T16:11:25+02:00 Michael Westergaard http://cpntools.org/download/whatsnew?rev=1366899085&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 2013-04-25T15:51:36+02:00 Michael Westergaard http://cpntools.org/download?rev=1366897896&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 2013-04-01T15:58:32+02:00 Michael Westergaard http://cpntools.org/cpn2000/extensions_10000?rev=1364824712&do=diff Simulator Extensions: 10000-19999 10000: Hello World No commands 10001: Declare Adds an extra command to ilist 1: Check page. Extra call parameters: blist= nil ilist= #constraints, #params1, ..., #paramsn slist= pageid, constraint id1, constraint name1, constraint formula1, transition id1_1, .., transition id1_#params1, ..., constraint idn, constraint namen, constraint formulan, transition idn_1, .., transition idn_#paramsn Return value: blist= nil ilist= TER… text/html 2013-03-30T18:21:43+02:00 Michael Westergaard http://cpntools.org/cpn2000/callback_messages?rev=1364664103&do=diff Simulation state changed (command = 1) In this case some part of the simulation state has changed. Information about the new state, e.g. markings and enablings, is provided. Extra call parameters: blist= trans1-is-enabled,...,transn-is-enabled ilist= delay,#trans,#places,trans1-inst,...,transn-inst, place1-inst,place1-marking-size,...,placem-inst,placem-marking-size slist= stepstr,timestr,trans1-id,...transn-id, place1-id,place1-marking,...,placem-id,placem-marking Re… text/html 2013-03-30T13:17:23+02:00 Michael Westergaard http://cpntools.org/cpn2000/cpn_messages_extensions?rev=1364645843&do=diff Simulator extension (command=10000) Commands that are forwarded verbatim to the simulator extensions. This command also includes a couple commands used by the extension server to integrate with the simulator code. Commands < 9999 are reserved for comminication between the extension server and the simulator, command 9999 is reserved for temporary testing, and commands > 9999 are used for actual extensions and assigned by Michael. If you wish to develop an extension, please Contact Michael fo… text/html 2013-03-30T11:46:23+02:00 Michael Westergaard http://cpntools.org/projects?rev=1364640383&do=diff CPN Tools GUI... ProM <http://westergaard.eu/2011/05/how-much-memory-is-needed-to-store-a-log/> Operational Support