A Schematron mini-schema for PNML PT nets constraints specification. Schema-aware version.

This schema provides Schematron rules you may use to further check the validity of a PT Net Document, in addition to the original PNML Schema in RELAX NG. This schema reuses the rules designed to check PNML Core Model Documents, since PT Nets are built upon the Core Model. This is the schema-aware (SA) version of constraints on PT Nets, since we provide rules about arc inscriptions and place markings to be positive integers and non negative integers respectively. These rules enforce the data type of inscriptions and markings. File name : PTNetconstraints-SA.sch Requires : CMConstraints.sch Version : 2010 Copyright notice : Copyright 2010 Lom Hillah (AFNOR) License : GNU GPL v3 (See http://www.gnu.org/licenses/) Revisions - (Number/Date/Author/[Comment]) : 1/August 13, 2009/L.H./Inception : 2/March 3, 2010/L.H/Reuse CoreModel constraints with extends : 3/April 26, 2010/L.H/Added requirement info : 4/May 2, 2010/L.H/Schema-aware version : 5/May 18, 2010/L.H/Rule for token graphics

In this schema we provide a phase for PT nets. Since the Core Model schema is included, its phase will be activated as well during validation. If you extends this schema with another phase, you may set a default phase for the validation in the @defaultPhase attribute of the iso:schema element.

Checks that no arc connects two nodes of the same kind The arc '' must connect two different kinds of nodes. Checks in initial markings' tool specific that the number of token graphics is the same as the initial marking. First, checks that in the context of token graphics, the toolspecific parent has a tool attribute whose value is org.pnml.tool. See clause 5.3.1 of ISO/IEC 15909-2:2009 The tool specific parent of token graphics of the initial marking of place '' must have an attribute tool whose value is 'org.pnml.tool'. The number of token graphics of the initial marking of place '' must be the same as the initial marking of that place. Checks every place marking is a non negative integer. This is a SA rule. The inscription of place '' should be a positive integer. Checks every arc inscription is a positive integer. This is a SA rule. The inscription of arc '' should be a positive integer. In a Place/Transition net, an arc may connect a place to a transition or vice versa. It may also connect a place to a referenceTransition (or vice versa) or a transition to a referencePlace (or vice versa). It may also connect a referencePlace to a referenceTransition (or vice versa).