Thirty-First Annual Hawaii International Conference on System Sciences-Volume 2 (1998)
Kohala Coast, HI
Jan. 6, 1998 to Jan. 9, 1998
Wolfgang Weitz , Universit? at Karlsruhe
In this paper, 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 in-put places, while outgoing arcs define insertions into output places. The definition of the occurrence rule ensures DTD-conformance of the document instances in all places of the net at every moment.
W. Weitz, "SGML Nets: Integrating Document and Workflow Modeling," Proceedings of the Thirty-First Hawaii International Conference on System Sciences(HICSS), Kohala Coast, HI, 1998, pp. 185.