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".
  • Inscriptions in hierarchical nets << CPN Tools Homepage
    socket assignments will highlighted to indicate that there may be a problem with one or more of the related places After changing the color set inscription on a port or socket a syntax check will always be performed for all places that are related to the place via port socket assignments Consider for example the Telephone example After changing the color set inscription e g from U to newCS for the place Inactive on page BreakSen the ports and sockets directly related to Inactive will be checked and the place Inactive on all other pages in the net will be highlighted If there is an error in the color set inscription then an error message will appear on all affected places in the net Initial marking inscription The initial marking inscriptions for a port socket pair do not have to be the same However the initial marking for the port socket pair is determined by the initial marking inscription for the socket The initial marking inscription for the port is essentially ignored The syntax of the inscription will be checked but it will not be used to determine the initial marking of the port The inscription will of course also be saved when you Save a net If a place is both a port and a socket i e it is a port on a subpage and it is a neighbor to a substitution transition on the subpage then its initial marking is determined by its socket on the corresponding superpage Changing the initial marking inscription for a port or socket will start a syntax check of the place and of all places that are related to the place via port socket assignments Fusion places All Fusion places in a fusion set must have the same color set inscription and

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


  • Removing hierarchical constructs << CPN Tools Homepage
    to a fusion set tag to remove the place from the fusion set Remove a fusion set Apply the Delete element tool to the fusion set tag for each fusion place in the fusion set Remove port type Apply the Delete element tool to a port type tag If the port had been assigned to a socket then an error message will indicate that the socket is no longer assigned to a port on the appropriate page Remove a reference to a subpage A reference to a subpage can be deleted by doing one of the following By applying the Delete element tool to a subpage tag shown below By applying the Delete element tool to a page tab for a subpage By applying the Delete page instance tool to the page tab or the page name in the index for a subpage By applying the Move page to top level tool to the page tab or the page name in the index for a subpage Deleting a reference to a subpage will result in the following the corresponding substitution transition becomes a regular transition a syntax check of the transition is made instances of all subpages of the substitution transition are updated the page overview in the index is updated Deleting a subpage tag will not delete the corresponding subpage and the port types on the subpage will remain unchanged Delete a subpage Several steps are required to completely remove a subpage from a net If there are more than one instances of a subpage then the Delete page instance tool must be applied until there is just one instance of the subpage remains Here there are two instances of the page Receiver When there is only one instance of a subpage remaining then the Move page to top

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

  • Substitution transitions << CPN Tools Homepage
    There are two ways of creating hierarchical nets You can create the net top down using the Move to subpage tool in the Hierarchy tools Or you can create the net bottom up by creating the pages independently and linking them together with substitution transitions afterward Top down development using the Move to subpage tool Bottom up development using the Set port type Set subpage and Assign port socket tools Navigating between sub and superpages The Show subpage and Show superpage tools can be used to quickly navigate between pages in a hierarchical CP net These tools must be applied to subpage tags and port type tags respectively After applying these tools the corresponding page will be either opened in the current binder if it is not already open or brought to front if it is already open in a binder Overview of sub and superpage relationships The hierarchical relationships between the individual pages of a CPN are shown in the index entry for the net overview of the net Hierarchical relationships are also highlighted using graphical feedback when a cursor is positioned over Hierarchy tags Overview of port socket assignments The relationship between the sockets on the superpage and

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

  • Top-down development << CPN Tools Homepage
    transition to a subpage Start by apply the Move to subpage tool to a transition on a page This page becomes a superpage A subpage tag is added to the transition which is now a substitution transition A new page is the created with a copy of the places surrounding the target transition The page is named after the target transition Port type tags are automatically set on the places on the new sub page and the port socket assignments are also handled automatically Now you can continue editing the superpage and the new subpage Moving a group to a subpage Using the Move to subpage tool it is also possible to move a group to a subpage The group must be closed in the sense that no arcs may connect a place in the group to a transition that is not in the group If a Move to Subpage is attempted on a group that is not closed a red status bubble will appear to indicate that the operation did not succeed Once the tool has successfully been applied a new substitution transition is created at the center of the group the name of the group is used as

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

  • Create a Timed CP-net << CPN Tools Homepage
    token a time stamp Tokens get time stamps via expressions called delay expressions A delay expression has the form expression where appears literally and expression is an arithmetic expression of type integer A delay expression defines a time equal to the current simulated time symbolized by the sign plus the value of the expression This value becomes the time stamp of any tokens created under the aegis of the delay

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

  • Timed color set functions << CPN Tools Homepage
    the color set which is always automatically defined in addition to the timed version are described on the help page for Color set functions Equality Operators The equality operators and are defined for all timed color sets while and are not defined for timed color sets To test the order of the elements in timed color sets use the lt function which is described below Functions for all timed color sets Note that while the color set cs has been declared as a timed color set the names of the following functions have the prefix cs timed cs timed lt c1 ts1 c2 ts2 returns true if cs lt c1 c2 or if c1 c2 and ModelTime lt ts2 ts1 note that a big time stamp is less than a small time stamp otherwise returns false cs timed legal v ts test whether value v is a member of the untimed color set cs v must be a member of either the color set cs an alias color set for cs or a superset color set of cs cs timed mkstr c ts make string representation of a timed color i e color c with time stamp ts cs timed

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

  • Timed color sets << CPN Tools Homepage
    book Book creator Remove this page from your book Show modify book 29 page s Help Timed color sets A color set is timed by appending the keyword timed to the end of its declaration At least one color set must be timed in order to run a simulation with time Declaration syntax colset name timed Declaration examples colset IT int timed colset P product Bool IT timed A timed

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

  • Timed multisets << CPN Tools Homepage
    or unbounded integers Places with timed color sets contain timed mult sets of values The and operators are used to add time stamps to colors Adding a time delay of x to a color c will attach a time stamp with a value that is equal to the current model time x to the color c Operations c t attach the time stamp t with type ModelTime time to the

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



  •