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".
  • Alias color sets << CPN Tools Homepage
    this page from your book Show modify book 13 page s Help Alias color sets An alias color set has exactly the same values and properties as a previously declared color set Declaration syntax colset name name0 Order ordering of the base color set Declaration examples colset WholeNumber INT colset DayOff Weekend All color sets Simple color sets Unit color set Boolean color set Integer color sets String color sets

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


  • Real color sets << CPN Tools Homepage
    modified meaning you should be able to use reals as any other 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

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

  • Real color sets << CPN Tools Homepage
    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 variables 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 Math exp r exponential Math sin r sine Math cos

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

  • Real color sets << CPN Tools Homepage
    Loading Home Download Getting Started Documentation Support Contact Login You are currently not logged in Enter your authentication credentials below to log in You need to have cookies enabled to log in Login Username Password Remember me Forgotten your password

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/real_colour_sets?do=login§ok=a36a2ccacaa83dc606eb4f10f40d3fb6 (2016-04-26)
    Open archived version from archive

  • Large Integer color sets << CPN Tools Homepage
    introduced in CPN Tools 3 5 5 Large Integers are numerals without a decimal point and no upper limit The large integer color set is large unless restricted by the with clause in which case it is small Declaration syntax colset name intinf with int exp1 int exp2 Order usual ordering of integers Optional with clause Restricts the integer color set to an interval determined by the two expressions in int exp1 and int exp2 It must be the case that int exp1 int exp2 Declaration examples colset INTINF intinf colset SmalLargelInt intinf with 1 10 var smalllargeInt SmallLargeInt The CPN variable smallInt may have a range of integer values from 1 to 10 For example 2 is a legal value but 11 is not and 2 9 is not Operations i negation of the integer value i i1 i2 addition i1 i2 subtraction i1 i2 multiplication i1 div i2 division quotient i1 mod i2 modulus remainder abs i absolute value of i Int min i1 i2 minimum of i1 and i2 Int max i1 i2 maximum of i1 and i2 See also color set functions For additional details and functions see the INTINF signature in the SML Basis Library

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

  • Time color sets << CPN Tools Homepage
    NOTE This type is introduced in CPN Tools 3 5 5 Time 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

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

  • Time color sets << CPN Tools Homepage
    is introduced in CPN Tools 3 5 5 Time 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 IntInf colour sets large integer color sets or Real colour sets real color sets Declaration syntax colset name time Order usual ordering of time stamps Declaration examples colset TME time var t TME

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

  • Access/CPN << CPN Tools Homepage
    CPN Tools engine engine protocol Provides simulator engine binaries and Java 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

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



  •