EPNML 1.1 label conventions - RELAX NG implementation version: $Id: conv.rng,v 1.6 2004/07/28 19:48:28 pnml Exp $ (c) 2003, Technische Universiteit Eindhoven JMEM van der Werf, jmw@petriweb.org some editing by R. Post, rp@petriweb.org human-readable documentation: EPNML 1.1 - an XML format for Petri nets http://www.petriweb.org/specs/epnml-1.1/pnmldef.pdf We use the standard annotations and conventions of PNML, by including them directly. In EPNML a net can have a position, this because we see an PNML document as a container of nets; however it can also have a dimension without a position, unlike nodes (and unlike pages). It cannot have fill or line attributes,although it would be conceivable to specify default values in this way. For this reason we cannot invoke the nodegraphics.content definition. We use some different common labels: *) Name *) Description *) Graphics. But this is already in basicPNML. Everything already has a name, because it's defined in the conv.rng doc. See [1], section 9 The name of an element, has element text in it, just like name. See [1], section 9.3 The type of a place is either a channel (common) or a store. See [1], section 5 channel store The type of a transition is AND (common) or XOR. See [1], section 6 AND XOR A transition also has a transformation: it defines what a transition does. An arc has a type with some more possibilities: See [1], section 7 C R U D inhibitor CR CU CD RU RD UD CRU CRD CUD RUD CRUD reset The inscription of an arc (not implemented in PNML) See [1], section 7