RELAX NG implementation of High-level Petri nets user-defined grammar. This schema implements the extended signature framework for user-defined (different from user-declared) sorts and operators on High-level Petri nets. File name: arbitrarydeclarations.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H A Sort declaration is a user-declared sort, using built-in sorts. It defines known concrete sort declarations. An Operator declaration is a user-declared operator using built-in. constructs. A user-defined Sort declaration is a SortDeclaration. Users have the possibility to add any well-formed XML pattern to complete this definition. It has an id. A user-defined operator declaration is an Operator Declaration. It refers to its input and output sorts. A user-defined element which is unparsed. It is defined with the 'anyElement' construct.