Inscriptions in hierarchical nets

There are some differences between inscriptions in hierarchical nets and inscriptions in non-hierarchical nets. For example, there are differences in the semantic meaning of some inscriptions. Furthermore, changing some kinds of inscriptions has additional consequences in hierarchical nets. These differences are described below.

Ports and sockets

Color set inscription

A port/socket pair must always have the same color set inscription. An error will occur if the Assign port-socket tool is applied to two places that do not have the same color set inscription.

When the color 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 color 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 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.

Changing color set on port

If there is an error in the color set inscription, then an error message will appear on all affected places in the net.

Changes propagated throughout 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.

Initial markings for port/socket pairs

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 initial marking inscription.

When the color 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.

Substitution transitions

Substitution transitions may have any of the Transition inscriptions, however these inscriptions have no semantic meaning in the CP-net. In other words, these inscriptions will essentially be ignored, and they will not affect the behavior of the CP-net. The syntax of such inscriptions will not be checked, but the inscriptions will, of course, be saved when you Save a net.

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 CPN.

Related pages