Inscriptions in Hierarchical Nets | CPN Tools help |
Inscriptions around ports, sockets, fusion places, and substitution transitions | How-to |
When the colour set inscription is changed on a port or socket, then a check will be made to ensure that the corresponding sockets/ports have the same colour set inscription. All other places that can be reached from the place by recursively following port/socket assignments, will highlighted to indicate that there may be a problem with one or more of the related places. After changing the colour 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 example net Telephones. After changing the colour 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 colour set inscription, then an error message will appear on all affected places in the net.
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 model.
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.
When the colour set or initial marking inscription is changed on one member of a fusion set, the new inscription is propagated to all other members of the fusion set. After changing one of the place inscriptions on a fusion place, a syntax check will always be performed for all members of the fusion set.
Similarly, arcs connected to substitution transitions may have arc inscriptions, but these inscriptions also do not have any semantic meaning. Such arc inscriptions will essentially be ignored, and they will have no effect on the behavior of the CP-net.