<rdf:RDF
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
    xmlns:s='http://snipsnap.org/rdf/snip-schema#'
    xml:base='http://www.gridworkflow.org/snips/gridworkflow/rdf'>
    <s:Snip rdf:ID='PNML'
         s:name='PNML'
         s:cUser='bassheide'
         s:oUser='bassheide'
         s:mUser='bassheide'>
        <s:content>1 Petri Net Markup Language&#xD;&#xA;&#xD;&#xA;The Petri Net Markup Language (PNML) is a proposal of an XML-based interchange format for Petri nets. PNML is a concept for defining the overall structure of a Petri net file. There are many different types of Petri nets. Thus, there is a generic concept for adjusting net type specific features via a specific Petri Net Type Definition (PNTD).&#xD;&#xA;&#xD;&#xA;For implementing a specific PNTD PNML is enlarged by type specific labels at certain net objects. A label assigns further meaning (besides the Petri net semantics) to a net or its objects. Typically, a label represents a name of a node, the initial marking of a place, the guard of a transition, or the inscription of an arc. The legal labels and the legal combination of labels are defined within a PNTD.&#xD;&#xA;&#xD;&#xA;http://www.informatik.hu-berlin.de/top/pnml/</s:content>
        <s:mTime>2005-12-20 13:41:55.979</s:mTime>
        <s:cTime>2005-12-20 13:40:54.251</s:cTime>
        <s:comments
             rdf:type='http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag'/>
        <s:snipLinks>
            <rdf:Bag>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Petri net'/>
                <rdf:li rdf:resource='#snipsnap-index'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Workflow Description Languages/Compatibility and Conversion'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Petri Net'/>
                <rdf:li rdf:resource='#snipsnap-search'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Petri net/'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Workflow Description Languages'/>
                <rdf:li rdf:resource='#ELeGI'/>
                <rdf:li rdf:resource='#Diligent'/>
            </rdf:Bag>
        </s:snipLinks>
        <s:attachments
             rdf:type='http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag'/>
    </s:Snip>
</rdf:RDF>