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".
  • Timed Nets << CPN Tools Homepage
    A timed token is not available for any purpose whatever unless the clock time is greater than or equal to the token s time stamp When there are no enabled transitions but there would be if the clock had a greater value the simulator increments the clock by the minimum amount necessary to enable at least one transition How simulated time works Simulated time has nothing to do with the external time during which the simulator steps through net execution and observers possibly watch the execution process or with the numbered sequence of steps by which the simulator executes a net Simulated time is just an incrementable number that is globally available within an executing model The value of this number can be thought of as the time indicated by a simulated clock When the number is incremented the clock moves forward to a later time The units of simulated time do not inherently represent any particular absolute time unit We may interpret simulated time units as microseconds or millennia depending on what we are modeling but syntactically time is just a number For brevity simulated time is sometimes referred to as model time Simulated time and transition enabledness The state of a net changes only when enabled transitions fire In order for simulated time to affect net execution it must affect transition enabledness and firing This effect is produced by the rule that a timed token is unavailable for any purpose unless the clock is greater than or equal to the token s time stamp Such a token is ignored when transitions are checked for enablement the token might as well not be there at all In effect a timed token does not exist until the clock reaches a creation time given by the token s time stamp When

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


  • Hierarchy << CPN Tools Homepage
    semantic meaning Subpages and superpages A page that contains a substitution transition is called a superpage The page named Top in the figure above is a superpage When a CP net uses a substitution transition the logic that the transition represents must be kept somewhere It is kept on a page called a subpage and the logic on the subpage is called a subnet or a submodel The page named Reverse is the subpage associated with the substitution transition Reverse Each substitution transition is said to be a supernode of the corresponding subpage The hierarchical structure of a net i e the relationships between subpages and superpages is shown in the index entry for the overview of the net The name of a subpage is always shown below the name of its superpage and the name of the subpage is always indented with respect to the name of the superpage If a subpage name is not visible in the index click on the blue arrow next to the superpage to unfold its list of subpages Ports and sockets Superpages and subpages are connected by equating places on the two pages using special purpose fusion sets These special fusion sets always contain only two places A place that belongs to such a fusion set is called a port if it is on a subpage and a socket if it is on a superpage Sockets A socket is a place that is a neighbor to a substitution transition i e there is always at least one arc between a substitution transition and a socket Places Begin and End on page Top are sockets Ports A port type tag is associated with each port on a subpage Places Begin and End on page Reverse are ports There are three kinds of port type tags In tags Out tags and I O tags Port Socket assignments Port socket assignments are used to define how a subpage should be glued together with the surroundings of its supernode Each socket must be assigned to a port on the corresponding subpage A port with an In tag must be assigned to a socket which is an input node and not an output node of the substitution transition Analogously an Out tag indicates that the port must be related to a socket which is an output node and not an input node while an I O tag indicates that the socket must be both an input and output node Note that the arcs surrounding a port do not have to correspond to the port type tag For example there may be arcs from a transition to a port that has an In tag i e the port may be an output node for a transition on the subpage even though it has an In tag To learn about how port socket assignments are indicated read about the graphical feedback for port type tags Markings of ports and sockets Tokens that are present on a socket in a superpage

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

  • Colored nets << CPN Tools Homepage
    the CPN ML language for declarations and net inscriptions CPN ML builds on top of Standard ML Some pointers into the documentation of CPN ML and Standard ML can be found here Declarations Color sets simple compound and timed color sets Color set functions Size and complexity of color sets Variables Functions Functions local declarations let in end control structures if then else case Values constants CPN ML identifier Reserved

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

  • Declarations << CPN Tools Homepage
    from your book Show modify book 3 page s Help Declarations Color sets Alias color sets Boolean color set Color set functions Declare clause Enumeration color set Definition of list functions Index color sets Integer color sets Large Integer color sets List color sets Product color sets Real color sets Record color sets Size and complexity of color sets String color sets Subset color sets Time color sets Union color

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

  • Inscriptions and expressions << CPN Tools Homepage
    Started Documentation Support Contact Book creator Add this page to your book Book creator Remove this page from your book Show modify book 3 page s Help Inscriptions and expressions Place inscriptions color set initial marking place name Arc inscriptions

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

  • External Communication and Libraries << CPN Tools Homepage
    page to your book Book creator Remove this page from your book Show modify book 3 page s Help External Communication and Libraries DTD for net files Comms CPN Connection management functions Animations and vizualisation with BRITNeY Suite Connecting to

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

  • << CPN Tools Homepage
    Support Contact Publications Loading Home Download Getting Started Documentation Support Contact This topic does not exist yet You ve followed a link to a topic that doesn t exist yet If permissions allow you may create it by using the

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

  • Documentation << CPN Tools Homepage
    to your book Book creator Remove this page from your book Show modify book 4 page s Help Documentation Getting Started Graphical User Interface Graphical User Interface Palette tools Marking menus Tasks in CPN Tools Editing a CPN Common constructs

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



  •