Inscriptions in Hierarchical Nets
Inscriptions around ports, sockets, fusion places, and substitution transitions How-to


Related Pages

Working with hierarchical nets, Add/edit inscriptions, Inscriptions

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

Colour set inscription

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

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.

Changing colour set on port

If there is an error in the colour 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 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.

Fusion Places

All fusion places in a fusion set must have the same colour set inscription and initial marking inscription.

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.

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

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.