SGML nets: integrating document and workflow modeling

We introduce so called SGML nets as a new formalism for an integrated modeling of document structures as well as document manipulation processes. SGML nets are a variant of high level Petri nets where each place (passive element “document store”) is typed using an SGML document type definition (DTD). Each place may be marked with a set of DTD conforming document instances. Each transition (active element) specifies a class of operations on these document stores. Edges in SGML nets are inscribed with document templates. The incoming arcs of a transition select a set of instances to be read from the input places, while outgoing arcs define insertions into output places. The definition of the occurrence role ensures DTD conformance of the document instances in all places of the net at every moment