Transition inscriptions

Transition inscriptions

There are four inscriptions that may be associated with a transition. All are optional: Transition name inscription Guard inscription Time inscription Code segment inscription Transition inscriptions are created when you add/edit inscriptions for transitions. Transition name inscription The transition name inscription is an optional label that identifies the transition, and it may contain any sequence of characters. Note: In order to enter the state space […]

Read Me Leave comment

Place inscriptions

Place inscriptions

There are three inscriptions that may be associated with a place. Two are optional and one is required: Color set inscription – required Initial marking inscription – optional Place name inscription – optional Place inscriptions are created when you add/edit inscriptions for places. Color set inscription The color set inscription determines the color set, i.e. the type, of all the tokens that can be put […]

Read Me Leave comment

Inscriptions in comments

Inscriptions in comments

In CPN ML, a comment begins with (* and ends with *), and all text within a comment will not affect the behavior of a net. Comments can be added to inscriptions for different purposes. In the example on the left, a comment has been added to a guard to describe the purpose of the guard. In the example on the right, a comment is […]

Read Me Leave comment

Guards

Guards

A guard is a CPN ML Boolean expression that evaluates to true or false. Before a guard has been added, the default text for the inscription is []. Syntax a Boolean expression or a list of Boolean expressions: [b-exp1, b-exp2, …, b-expn] The latter corresponds to b-exp1 andalso b-exp2 andalso … bexpn, but is preferred as it gives the simulator more opportunities to bind the […]

Read Me Leave comment

Code segments

Code segments

Simulation with code Each transition may have an attached code segment which contains ML code. Code segments are executed when their parent transition occurs. Adding/editing code segments Code segments are created by adding/editing an inscription for a transition. Before a code segment has been added, the default text for the inscription is: input (); output (); action (); Characteristics and syntax Code segments may use […]

Read Me Leave comment

Arc inscriptions

Arc inscriptions

Arcs have only one inscription — the arc inscription. An arc inscription is a CPN ML expression that evaluates to a multiset or a single element. Before an arc inscription has been added, the default text for an arc inscription is expr. The color set of the arc expression must match the color set of the place attached to the arc; otherwise, an error message […]

Read Me Leave comment