A Schematron mini-schema for PNML PT nets constraints specification

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. File name : PTNetconstraints.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

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.

The arc must connect two different kinds of nodes. 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).