rty Preconditions</h4>
<b>Property Preconditions</b> as mention above are <i>boolean</i>
properties of objects that can form
preconditions to <b>Processes</b>. Property preconditions are set by
right clicking on the process link <img src="icons/plink.png" alt=""
 border="0" height="16" width="16"> connecting the triggering
transition node and the process. Right clicking provides a menu item to
provide the <b>Property Precondition</b> dialog box in which the
available possibly relevant boolean properties are