archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Knowledge Base << CPN Tools Homepage
    Download FAQ Getting Started Grade CPN Knowledge Base Licensing Support Contact Publications Loading Home Download Getting Started Documentation Support Contact Knowledge Base All articles All topics CPN Tools CPN 2000

    Original URL path: http://cpntools.org/knowledgebase/start (2016-04-26)
    Open archived version from archive


  • Licensing << CPN Tools Homepage
    Access CPN is licensed under the GNU Lesser General Public License LGPL version 2 1 as described here NOTE This is not legal advise For you as a user this means you can use the tool more or less at your leisure You can use the simulator as parts of your open source GPL programs with no restrictions and you can use it as part of commercial or other closed

    Original URL path: http://cpntools.org/license/start (2016-04-26)
    Open archived version from archive

  • Support << CPN Tools Homepage
    base whether your question has been answered Search our help pages for an answer to your question You can also use the index If the previous steps did not succeed use the below support form Don t forget to select whether it is a support question or a bug report Provide the following information version of CPN Tools and Windows used CPN Tools 3 4 Windows only Windows 7 exact steps leading up to the problem be very detailed and explicit do not assume we can guess which steps you took and do not leave things out because you do think they are irrelevant what happened and what did you expect to happen do not forget the latter applicable models note that the list is private and we do not divulge any received models cpntools dump file if CPN Tools crashes also attach the cpntools dump file produced in the same directory as your model screen shots if they help and any other useful details don t try to filter out what is important we re probably better at judging what helps us than you are You can also suggest new features using the form at the bottom of the

    Original URL path: http://cpntools.org/support (2016-04-26)
    Open archived version from archive

  • Contact << CPN Tools Homepage
    Publications Loading Home Download Getting Started Documentation Support Contact Contact For any support on CPN Tools please refer to the support page For other issues contact Michael Westergaard and H M W Eric Verbeek Eindhoven University of Technology P O

    Original URL path: http://cpntools.org/contact (2016-04-26)
    Open archived version from archive

  • Publications << CPN Tools Homepage
    Nets Petri Nets 2009 Lecture Notes in Computer Science 5606 pp 313 322 Springer Verlag Berlin 2009 K Jensen L M Kristensen and L Wells Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent System s International Journal on Software Tools for Technology Transfer STTT 9 3 4 pp 213 254 2007 A V Ratzer L Wells H M Lassen M Laursen J F Qvortrup M S Stissing M Westergaard S Christensen and K Jensen CPN Tools for Editing Simulating and Analysing Coloured Petri Nets Proc of 24th International Conference on Applications and Theory of Petri Nets Petri Nets 2003 Lecture Notes in Computer Science 2679 pp 450 462 Springer Verlag Berlin 2003 Standard ML CPN Tools uses the CPN ML language to specify declarations and net inscriptions This language is an extension of the functional programming language Standard ML developed at Edinburgh University CPN ML Help page on using CPN ML and Standard ML in CPN Tools Standard ML bibliography R Milner M Tofte R Harper and D MacQueen The definition of Standard ML MIT Press Cambridge MA 1997 J D Ullman Elements of ML Programming ML97 Edition 2nd ed Prentice Hall Upper Saddle River NJ

    Original URL path: http://cpntools.org/publications (2016-04-26)
    Open archived version from archive

  • Real color sets << CPN Tools Homepage
    type but beware that equality is still dodgy because of rounding errors We recommend against relying on exact comparisons and instead use only inequalities using reals expressions like x 1 1 While reals work with the state space tool we recommend against using reals with state space analysis For now reals are considered experimental due to the very fundamental changes needed to make them work we welcome any error reports regarding reals but do not otherwise provide any support for this type before the release of 4 0 Declaration Syntax colset name real with real exp1 real exp2 Order usual ordering of numbers Optional with Clause Restricts the real color set to an interval determined by the two expressions real exp1 and real exp2 It must be the case that real exp1 real exp2 Declaration Examples color R real color SomeReal real with 1 0 3 5 var someReal SomeReal The CPN variable someReal may have a range of real values from 1 0 to 3 5 For example 1 0 and 3 234 are legal values but 1 and 4 2 are not Operations r negation of the integer value r r1 r2 addition r1 ri2 subtraction r1 ri2 multiplication r1 r2 division Real r1 r2 returns true if and only if neither r1 nor r2 is NaN and r1 and r2 are equal abs r absolute value of r floor r return largest integer not larger than r ceil r return smallest integer not less than r trunc r round r towards zero round r return integer nearest to r real i convert integer i to real value Real min r1 r2 minimum of r1 and r2 Real max r1 r2 maximum of r1 and r2 Math sqrt r square root of r Math ln r natural logarithm

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/real_colour_sets (2016-04-26)
    Open archived version from archive

  • Time color sets << CPN Tools Homepage
    values are numerals depending on the The time color set is large The type depends on the time mode of the model and may either be identical to large integer color sets or real color sets Declaration syntax colset name time Order usual ordering of time stamps Declaration examples colset TME time var t TME All color sets Simple color sets Unit color set Boolean color set Integer color set

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/time_colour_sets (2016-04-26)
    Open archived version from archive

  • Access/CPN << CPN Tools Homepage
    interface for connecting to them When doing simulation engine protocol new in 3 0 earlier part of engine Abstract representation of the low level protocol When doing simulation or using simulator extensions engine highlevel engine model Provides bridging between the object model and the engine Almost always cosimulation engine engine highlevel model Performs cosimulation between CPN models and Java objects Only if you need to do cosimulation engine proxy engine engine highlevel model Interact with a model loaded using CPN Tools Rarely model tests all other Tests and demo programs Only during development The abridged version You ll almost always need model engine and engine highlevel Pick any of the import export proxy plug ins you need An easy way to use the cosimulation plug in is using ProM recent nightly builds or 6 1 required and the package Cosimulation available from the package manager Examples The model tests plug in contains some demos and test code of Access CPN Here is a quick run down of the different interesting parts default package Misc tests the most interesting is StateSpaceTool which is explained in our paper The Access CPN Framework A Tool for Interacting with the CPN Tools Simulator see Publications for full bibliographical info demos Larger demos in subdirectories demos sillytime Simple example showing importing a model loaded in CPN Tools and updating the GUI of CPN Tools from Java Described in this blog post demos statespacegenerator A parallel state space generator The code is messy but fairly efficient it is possible to generate more than 10 7 10 8 states on a standard computer Checking Out Access CPN Using Eclipse You need a recent version of Eclipse tested with Helios and EMF You need a Subversion client for Eclipse Use https svn win tue nl repos cpntools AccessCPN

    Original URL path: http://cpntools.org/accesscpn (2016-04-26)
    Open archived version from archive



  •